%------------------------------------------------------------------------------
% File     : Bliksem---1.12
% Problem  : MGT024-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : bliksem %s

% Computer : n026.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  : 0s
% DateTime : Sun Jul 17 21:57:41 EDT 2022

% Result   : Unsatisfiable 0.46s 1.14s
% Output   : Refutation 0.46s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13  % Problem  : MGT024-1 : TPTP v8.1.0. Released v2.4.0.
% 0.07/0.13  % Command  : bliksem %s
% 0.13/0.35  % Computer : n026.cluster.edu
% 0.13/0.35  % Model    : x86_64 x86_64
% 0.13/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35  % Memory   : 8042.1875MB
% 0.13/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35  % CPULimit : 300
% 0.13/0.35  % DateTime : Thu Jun  9 09:30:02 EDT 2022
% 0.13/0.35  % CPUTime  : 
% 0.46/1.14  *** allocated 10000 integers for termspace/termends
% 0.46/1.14  *** allocated 10000 integers for clauses
% 0.46/1.14  *** allocated 10000 integers for justifications
% 0.46/1.14  Bliksem 1.12
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  Automatic Strategy Selection
% 0.46/1.14  
% 0.46/1.14  Clauses:
% 0.46/1.14  [
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), 'in_environment'( X, Y ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), greater( 'number_of_organizations'( X, Y
% 0.46/1.14     ), zero ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( 'greater_or_equal'( Y, equilibrium( X ) ) )
% 0.46/1.14    , ~( greater( equilibrium( X ), Y ) ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( greater( 
% 0.46/1.14    'number_of_organizations'( X, Y ), zero ) ), ~( greater( equilibrium( X )
% 0.46/1.14    , Y ) ), decreases( resources( X, Y ) ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( greater( 
% 0.46/1.14    'number_of_organizations'( X, Y ), zero ) ), greater( equilibrium( X ), Y
% 0.46/1.14     ), constant( resources( X, Y ) ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( decreases( 
% 0.46/1.14    resources( X, Y ) ) ), ~( decreases( 'number_of_organizations'( X, Y ) )
% 0.46/1.14     ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( constant( 
% 0.46/1.14    resources( X, Y ) ) ), constant( 'number_of_organizations'( X, Y ) ) ]
% 0.46/1.14    ,
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ],
% 0.46/1.14     [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ],
% 0.46/1.14     [ environment( sk1 ) ],
% 0.46/1.14     [ subpopulations( 'first_movers', 'efficient_producers', sk1, sk2 ) ]
% 0.46/1.14    ,
% 0.46/1.14     [ 'greater_or_equal'( sk2, equilibrium( sk1 ) ) ],
% 0.46/1.14     [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ],
% 0.46/1.14     [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ],
% 0.46/1.14     [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ), ~( 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ]
% 0.46/1.14  ] .
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  percentage equality = 0.119048, percentage horn = 0.571429
% 0.46/1.14  This is a problem with some equality
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  Options Used:
% 0.46/1.14  
% 0.46/1.14  useres =            1
% 0.46/1.14  useparamod =        1
% 0.46/1.14  useeqrefl =         1
% 0.46/1.14  useeqfact =         1
% 0.46/1.14  usefactor =         1
% 0.46/1.14  usesimpsplitting =  0
% 0.46/1.14  usesimpdemod =      5
% 0.46/1.14  usesimpres =        3
% 0.46/1.14  
% 0.46/1.14  resimpinuse      =  1000
% 0.46/1.14  resimpclauses =     20000
% 0.46/1.14  substype =          eqrewr
% 0.46/1.14  backwardsubs =      1
% 0.46/1.14  selectoldest =      5
% 0.46/1.14  
% 0.46/1.14  litorderings [0] =  split
% 0.46/1.14  litorderings [1] =  extend the termordering, first sorting on arguments
% 0.46/1.14  
% 0.46/1.14  termordering =      kbo
% 0.46/1.14  
% 0.46/1.14  litapriori =        0
% 0.46/1.14  termapriori =       1
% 0.46/1.14  litaposteriori =    0
% 0.46/1.14  termaposteriori =   0
% 0.46/1.14  demodaposteriori =  0
% 0.46/1.14  ordereqreflfact =   0
% 0.46/1.14  
% 0.46/1.14  litselect =         negord
% 0.46/1.14  
% 0.46/1.14  maxweight =         15
% 0.46/1.14  maxdepth =          30000
% 0.46/1.14  maxlength =         115
% 0.46/1.14  maxnrvars =         195
% 0.46/1.14  excuselevel =       1
% 0.46/1.14  increasemaxweight = 1
% 0.46/1.14  
% 0.46/1.14  maxselected =       10000000
% 0.46/1.14  maxnrclauses =      10000000
% 0.46/1.14  
% 0.46/1.14  showgenerated =    0
% 0.46/1.14  showkept =         0
% 0.46/1.14  showselected =     0
% 0.46/1.14  showdeleted =      0
% 0.46/1.14  showresimp =       1
% 0.46/1.14  showstatus =       2000
% 0.46/1.14  
% 0.46/1.14  prologoutput =     1
% 0.46/1.14  nrgoals =          5000000
% 0.46/1.14  totalproof =       1
% 0.46/1.14  
% 0.46/1.14  Symbols occurring in the translation:
% 0.46/1.14  
% 0.46/1.14  {}  [0, 0]      (w:1, o:2, a:1, s:1, b:0), 
% 0.46/1.14  .  [1, 2]      (w:1, o:25, a:1, s:1, b:0), 
% 0.46/1.14  !  [4, 1]      (w:0, o:16, a:1, s:1, b:0), 
% 0.46/1.14  =  [13, 2]      (w:1, o:0, a:0, s:1, b:0), 
% 0.46/1.14  ==>  [14, 2]      (w:1, o:0, a:0, s:1, b:0), 
% 0.46/1.14  environment  [40, 1]      (w:1, o:23, a:1, s:1, b:0), 
% 0.46/1.14  'first_movers'  [41, 0]      (w:1, o:13, a:1, s:1, b:0), 
% 0.46/1.14  'efficient_producers'  [42, 0]      (w:1, o:12, a:1, s:1, b:0), 
% 0.46/1.14  subpopulations  [44, 4]      (w:1, o:56, a:1, s:1, b:0), 
% 0.46/1.14  'in_environment'  [45, 2]      (w:1, o:50, a:1, s:1, b:0), 
% 0.46/1.14  'number_of_organizations'  [46, 2]      (w:1, o:51, a:1, s:1, b:0), 
% 0.46/1.14  zero  [47, 0]      (w:1, o:15, a:1, s:1, b:0), 
% 0.46/1.14  greater  [48, 2]      (w:1, o:52, a:1, s:1, b:0), 
% 0.46/1.14  equilibrium  [49, 1]      (w:1, o:24, a:1, s:1, b:0), 
% 0.46/1.14  'greater_or_equal'  [50, 2]      (w:1, o:53, a:1, s:1, b:0), 
% 0.46/1.14  resources  [51, 2]      (w:1, o:54, a:1, s:1, b:0), 
% 0.46/1.14  decreases  [52, 1]      (w:1, o:22, a:1, s:1, b:0), 
% 0.46/1.14  constant  [53, 1]      (w:1, o:21, a:1, s:1, b:0), 
% 0.46/1.14  'growth_rate'  [54, 2]      (w:1, o:55, a:1, s:1, b:0), 
% 0.46/1.14  sk1  [55, 0]      (w:1, o:5, a:1, s:1, b:0), 
% 0.46/1.14  sk2  [56, 0]      (w:1, o:6, a:1, s:1, b:0).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  Starting Search:
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  Bliksems!, er is een bewijs:
% 0.46/1.14  % SZS status Unsatisfiable
% 0.46/1.14  % SZS output start Refutation
% 0.46/1.14  
% 0.46/1.14  clause( 0, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), 'in_environment'( X, Y ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 1, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), greater( 'number_of_organizations'( X, Y
% 0.46/1.14     ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 2, [ ~( environment( X ) ), ~( 'greater_or_equal'( Y, equilibrium( 
% 0.46/1.14    X ) ) ), ~( greater( equilibrium( X ), Y ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 4, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    greater( 'number_of_organizations'( X, Y ), zero ) ), greater( 
% 0.46/1.14    equilibrium( X ), Y ), constant( resources( X, Y ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 6, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    constant( resources( X, Y ) ) ), constant( 'number_of_organizations'( X, 
% 0.46/1.14    Y ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 7, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 8, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 9, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 11, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 12, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 13, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 14, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', sk1, 
% 0.46/1.14    sk2 ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 17, [ 'greater_or_equal'( sk2, equilibrium( sk1 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 18, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 19, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 0.46/1.14    ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), zero
% 0.46/1.14     ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 21, [ 'in_environment'( sk1, sk2 ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 22, [ ~( subpopulations( 'first_movers', 'efficient_producers', sk1
% 0.46/1.14    , X ) ), 'in_environment'( sk1, X ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 23, [ greater( 'number_of_organizations'( sk1, sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 25, [ ~( greater( equilibrium( sk1 ), sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 29, [ ~( constant( resources( sk1, X ) ) ), constant( 
% 0.46/1.14    'number_of_organizations'( sk1, X ) ), ~( subpopulations( 'first_movers'
% 0.46/1.14    , 'efficient_producers', sk1, X ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 37, [ ~( 'in_environment'( sk1, sk2 ) ), greater( equilibrium( sk1
% 0.46/1.14     ), sk2 ), constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 41, [ constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 49, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, sk2 ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 53, [ ~( subpopulations( 'first_movers', 'efficient_producers', sk1
% 0.46/1.14    , X ) ), ~( constant( 'number_of_organizations'( sk1, X ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', X ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 65, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 74, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 96, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 105, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 111, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 119, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 122, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 123, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 124, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 125, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 127, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 129, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 130, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 0.46/1.14    ~( greater( zero, zero ) ), greater( zero, 'growth_rate'( 'first_movers'
% 0.46/1.14    , sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 132, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 133, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 136, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 138, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), zero )
% 0.46/1.14    , ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 139, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 141, [ ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2
% 0.46/1.14     ) ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 143, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 145, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 147, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 148, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 152, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 153, [ ~( greater( zero, zero ) ), ~( greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 155, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , greater( zero, zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 157, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ]
% 0.46/1.14     )
% 0.46/1.14  .
% 0.46/1.14  clause( 158, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ]
% 0.46/1.14     )
% 0.46/1.14  .
% 0.46/1.14  clause( 159, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 161, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  .
% 0.46/1.14  clause( 163, [] )
% 0.46/1.14  .
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  % SZS output end Refutation
% 0.46/1.14  found a proof!
% 0.46/1.14  
% 0.46/1.14  % ABCDEFGHIJKLMNOPQRSTUVWXYZ
% 0.46/1.14  
% 0.46/1.14  initialclauses(
% 0.46/1.14  [ clause( 165, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), 'in_environment'( X, Y ) ] )
% 0.46/1.14  , clause( 166, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), greater( 'number_of_organizations'( X, Y
% 0.46/1.14     ), zero ) ] )
% 0.46/1.14  , clause( 167, [ ~( environment( X ) ), ~( 'greater_or_equal'( Y, 
% 0.46/1.14    equilibrium( X ) ) ), ~( greater( equilibrium( X ), Y ) ) ] )
% 0.46/1.14  , clause( 168, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    greater( 'number_of_organizations'( X, Y ), zero ) ), ~( greater( 
% 0.46/1.14    equilibrium( X ), Y ) ), decreases( resources( X, Y ) ) ] )
% 0.46/1.14  , clause( 169, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    greater( 'number_of_organizations'( X, Y ), zero ) ), greater( 
% 0.46/1.14    equilibrium( X ), Y ), constant( resources( X, Y ) ) ] )
% 0.46/1.14  , clause( 170, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    decreases( resources( X, Y ) ) ), ~( decreases( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ) ] )
% 0.46/1.14  , clause( 171, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    constant( resources( X, Y ) ) ), constant( 'number_of_organizations'( X, 
% 0.46/1.14    Y ) ) ] )
% 0.46/1.14  , clause( 172, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 173, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , clause( 174, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 175, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ] )
% 0.46/1.14  , clause( 176, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 177, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , clause( 178, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 179, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ] )
% 0.46/1.14  , clause( 180, [ environment( sk1 ) ] )
% 0.46/1.14  , clause( 181, [ subpopulations( 'first_movers', 'efficient_producers', sk1
% 0.46/1.14    , sk2 ) ] )
% 0.46/1.14  , clause( 182, [ 'greater_or_equal'( sk2, equilibrium( sk1 ) ) ] )
% 0.46/1.14  , clause( 183, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( 
% 0.46/1.14    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 184, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 0.46/1.14    , ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  , clause( 185, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  ] ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 0, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), 'in_environment'( X, Y ) ] )
% 0.46/1.14  , clause( 165, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), 'in_environment'( X, Y ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 1, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), greater( 'number_of_organizations'( X, Y
% 0.46/1.14     ), zero ) ] )
% 0.46/1.14  , clause( 166, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), greater( 'number_of_organizations'( X, Y
% 0.46/1.14     ), zero ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 2, [ ~( environment( X ) ), ~( 'greater_or_equal'( Y, equilibrium( 
% 0.46/1.14    X ) ) ), ~( greater( equilibrium( X ), Y ) ) ] )
% 0.46/1.14  , clause( 167, [ ~( environment( X ) ), ~( 'greater_or_equal'( Y, 
% 0.46/1.14    equilibrium( X ) ) ), ~( greater( equilibrium( X ), Y ) ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 4, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    greater( 'number_of_organizations'( X, Y ), zero ) ), greater( 
% 0.46/1.14    equilibrium( X ), Y ), constant( resources( X, Y ) ) ] )
% 0.46/1.14  , clause( 169, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    greater( 'number_of_organizations'( X, Y ), zero ) ), greater( 
% 0.46/1.14    equilibrium( X ), Y ), constant( resources( X, Y ) ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 6, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    constant( resources( X, Y ) ) ), constant( 'number_of_organizations'( X, 
% 0.46/1.14    Y ) ) ] )
% 0.46/1.14  , clause( 171, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    constant( resources( X, Y ) ) ), constant( 'number_of_organizations'( X, 
% 0.46/1.14    Y ) ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 7, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 172, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 ), ==>( 5, 5 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 8, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , clause( 173, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 ), ==>( 5, 5 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 9, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 174, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 ), ==>( 5, 5 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 11, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 176, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 ), ==>( 5, 5 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 12, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , clause( 177, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 ), ==>( 5, 5 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 13, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , clause( 178, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 ), ==>( 5, 5 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 14, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ] )
% 0.46/1.14  , clause( 179, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X ), :=( Y, Y )] ), permutation( 0, [ ==>( 0, 0
% 0.46/1.14     ), ==>( 1, 1 ), ==>( 2, 2 ), ==>( 3, 3 ), ==>( 4, 4 ), ==>( 5, 5 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , clause( 180, [ environment( sk1 ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', sk1, 
% 0.46/1.14    sk2 ) ] )
% 0.46/1.14  , clause( 181, [ subpopulations( 'first_movers', 'efficient_producers', sk1
% 0.46/1.14    , sk2 ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 17, [ 'greater_or_equal'( sk2, equilibrium( sk1 ) ) ] )
% 0.46/1.14  , clause( 182, [ 'greater_or_equal'( sk2, equilibrium( sk1 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 18, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 183, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( 
% 0.46/1.14    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 19, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 0.46/1.14    ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  , clause( 184, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 0.46/1.14    , ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), zero
% 0.46/1.14     ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  , clause( 185, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 0.46/1.14     ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 275, [ ~( environment( sk1 ) ), 'in_environment'( sk1, sk2 ) ] )
% 0.46/1.14  , clause( 0, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), 'in_environment'( X, Y ) ] )
% 0.46/1.14  , 1, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk1 ), :=( Y, sk2 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 276, [ 'in_environment'( sk1, sk2 ) ] )
% 0.46/1.14  , clause( 275, [ ~( environment( sk1 ) ), 'in_environment'( sk1, sk2 ) ] )
% 0.46/1.14  , 0, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 21, [ 'in_environment'( sk1, sk2 ) ] )
% 0.46/1.14  , clause( 276, [ 'in_environment'( sk1, sk2 ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 277, [ ~( subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, X ) ), 'in_environment'( sk1, X ) ] )
% 0.46/1.14  , clause( 0, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), 'in_environment'( X, Y ) ] )
% 0.46/1.14  , 0, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk1 ), :=( Y, X )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 22, [ ~( subpopulations( 'first_movers', 'efficient_producers', sk1
% 0.46/1.14    , X ) ), 'in_environment'( sk1, X ) ] )
% 0.46/1.14  , clause( 277, [ ~( subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, X ) ), 'in_environment'( sk1, X ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X )] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 
% 0.46/1.14    1 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 278, [ ~( environment( sk1 ) ), greater( 'number_of_organizations'( 
% 0.46/1.14    sk1, sk2 ), zero ) ] )
% 0.46/1.14  , clause( 1, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), greater( 'number_of_organizations'( X, Y
% 0.46/1.14     ), zero ) ] )
% 0.46/1.14  , 1, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk1 ), :=( Y, sk2 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 279, [ greater( 'number_of_organizations'( sk1, sk2 ), zero ) ] )
% 0.46/1.14  , clause( 278, [ ~( environment( sk1 ) ), greater( 
% 0.46/1.14    'number_of_organizations'( sk1, sk2 ), zero ) ] )
% 0.46/1.14  , 0, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 23, [ greater( 'number_of_organizations'( sk1, sk2 ), zero ) ] )
% 0.46/1.14  , clause( 279, [ greater( 'number_of_organizations'( sk1, sk2 ), zero ) ]
% 0.46/1.14     )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 280, [ ~( environment( sk1 ) ), ~( greater( equilibrium( sk1 ), sk2
% 0.46/1.14     ) ) ] )
% 0.46/1.14  , clause( 2, [ ~( environment( X ) ), ~( 'greater_or_equal'( Y, equilibrium( 
% 0.46/1.14    X ) ) ), ~( greater( equilibrium( X ), Y ) ) ] )
% 0.46/1.14  , 1, clause( 17, [ 'greater_or_equal'( sk2, equilibrium( sk1 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk1 ), :=( Y, sk2 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 281, [ ~( greater( equilibrium( sk1 ), sk2 ) ) ] )
% 0.46/1.14  , clause( 280, [ ~( environment( sk1 ) ), ~( greater( equilibrium( sk1 ), 
% 0.46/1.14    sk2 ) ) ] )
% 0.46/1.14  , 0, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 25, [ ~( greater( equilibrium( sk1 ), sk2 ) ) ] )
% 0.46/1.14  , clause( 281, [ ~( greater( equilibrium( sk1 ), sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 282, [ ~( environment( sk1 ) ), ~( constant( resources( sk1, X ) )
% 0.46/1.14     ), constant( 'number_of_organizations'( sk1, X ) ), ~( subpopulations( 
% 0.46/1.14    'first_movers', 'efficient_producers', sk1, X ) ) ] )
% 0.46/1.14  , clause( 6, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    constant( resources( X, Y ) ) ), constant( 'number_of_organizations'( X, 
% 0.46/1.14    Y ) ) ] )
% 0.46/1.14  , 1, clause( 22, [ ~( subpopulations( 'first_movers', 'efficient_producers'
% 0.46/1.14    , sk1, X ) ), 'in_environment'( sk1, X ) ] )
% 0.46/1.14  , 1, substitution( 0, [ :=( X, sk1 ), :=( Y, X )] ), substitution( 1, [ 
% 0.46/1.14    :=( X, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 283, [ ~( constant( resources( sk1, X ) ) ), constant( 
% 0.46/1.14    'number_of_organizations'( sk1, X ) ), ~( subpopulations( 'first_movers'
% 0.46/1.14    , 'efficient_producers', sk1, X ) ) ] )
% 0.46/1.14  , clause( 282, [ ~( environment( sk1 ) ), ~( constant( resources( sk1, X )
% 0.46/1.14     ) ), constant( 'number_of_organizations'( sk1, X ) ), ~( subpopulations( 
% 0.46/1.14    'first_movers', 'efficient_producers', sk1, X ) ) ] )
% 0.46/1.14  , 0, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, X )] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 29, [ ~( constant( resources( sk1, X ) ) ), constant( 
% 0.46/1.14    'number_of_organizations'( sk1, X ) ), ~( subpopulations( 'first_movers'
% 0.46/1.14    , 'efficient_producers', sk1, X ) ) ] )
% 0.46/1.14  , clause( 283, [ ~( constant( resources( sk1, X ) ) ), constant( 
% 0.46/1.14    'number_of_organizations'( sk1, X ) ), ~( subpopulations( 'first_movers'
% 0.46/1.14    , 'efficient_producers', sk1, X ) ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X )] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 
% 0.46/1.14    1 ), ==>( 2, 2 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 284, [ ~( environment( sk1 ) ), ~( 'in_environment'( sk1, sk2 ) ), 
% 0.46/1.14    greater( equilibrium( sk1 ), sk2 ), constant( resources( sk1, sk2 ) ) ]
% 0.46/1.14     )
% 0.46/1.14  , clause( 4, [ ~( environment( X ) ), ~( 'in_environment'( X, Y ) ), ~( 
% 0.46/1.14    greater( 'number_of_organizations'( X, Y ), zero ) ), greater( 
% 0.46/1.14    equilibrium( X ), Y ), constant( resources( X, Y ) ) ] )
% 0.46/1.14  , 2, clause( 23, [ greater( 'number_of_organizations'( sk1, sk2 ), zero ) ]
% 0.46/1.14     )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk1 ), :=( Y, sk2 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 285, [ ~( 'in_environment'( sk1, sk2 ) ), greater( equilibrium( sk1
% 0.46/1.14     ), sk2 ), constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , clause( 284, [ ~( environment( sk1 ) ), ~( 'in_environment'( sk1, sk2 ) )
% 0.46/1.14    , greater( equilibrium( sk1 ), sk2 ), constant( resources( sk1, sk2 ) ) ]
% 0.46/1.14     )
% 0.46/1.14  , 0, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 37, [ ~( 'in_environment'( sk1, sk2 ) ), greater( equilibrium( sk1
% 0.46/1.14     ), sk2 ), constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , clause( 285, [ ~( 'in_environment'( sk1, sk2 ) ), greater( equilibrium( 
% 0.46/1.14    sk1 ), sk2 ), constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 ), ==>( 2
% 0.46/1.14    , 2 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 286, [ greater( equilibrium( sk1 ), sk2 ), constant( resources( sk1
% 0.46/1.14    , sk2 ) ) ] )
% 0.46/1.14  , clause( 37, [ ~( 'in_environment'( sk1, sk2 ) ), greater( equilibrium( 
% 0.46/1.14    sk1 ), sk2 ), constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , 0, clause( 21, [ 'in_environment'( sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 287, [ constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , clause( 25, [ ~( greater( equilibrium( sk1 ), sk2 ) ) ] )
% 0.46/1.14  , 0, clause( 286, [ greater( equilibrium( sk1 ), sk2 ), constant( resources( 
% 0.46/1.14    sk1, sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 41, [ constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , clause( 287, [ constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 288, [ constant( 'number_of_organizations'( sk1, sk2 ) ), ~( 
% 0.46/1.14    subpopulations( 'first_movers', 'efficient_producers', sk1, sk2 ) ) ] )
% 0.46/1.14  , clause( 29, [ ~( constant( resources( sk1, X ) ) ), constant( 
% 0.46/1.14    'number_of_organizations'( sk1, X ) ), ~( subpopulations( 'first_movers'
% 0.46/1.14    , 'efficient_producers', sk1, X ) ) ] )
% 0.46/1.14  , 0, clause( 41, [ constant( resources( sk1, sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk2 )] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 289, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 0.46/1.14  , clause( 288, [ constant( 'number_of_organizations'( sk1, sk2 ) ), ~( 
% 0.46/1.14    subpopulations( 'first_movers', 'efficient_producers', sk1, sk2 ) ) ] )
% 0.46/1.14  , 1, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 0.46/1.14  , clause( 289, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 290, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 7, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 291, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 18, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( 
% 0.46/1.14    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 294, [ ~( =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) )
% 0.46/1.14    , ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, sk2 ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 291, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), ~( 
% 0.46/1.14    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 0, clause( 290, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [ :=( X, sk2 ), :=( Y, X )] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 49, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, sk2 ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 294, [ ~( =( 'growth_rate'( 'efficient_producers', sk2 ), zero )
% 0.46/1.14     ), ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, sk2 ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X )] ), permutation( 0, [ ==>( 0, 5 ), ==>( 1, 
% 0.46/1.14    0 ), ==>( 2, 1 ), ==>( 3, 2 ), ==>( 4, 3 ), ==>( 5, 4 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 296, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 7, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 297, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    subpopulations( 'first_movers', 'efficient_producers', sk1, X ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, X ) ) ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 296, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , 1, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, X ), :=( Y, sk1 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 298, [ =( 'growth_rate'( 'first_movers', X ), zero ), ~( 
% 0.46/1.14    subpopulations( 'first_movers', 'efficient_producers', sk1, X ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, X ) ) ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 297, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    subpopulations( 'first_movers', 'efficient_producers', sk1, X ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, X ) ) ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 53, [ ~( subpopulations( 'first_movers', 'efficient_producers', sk1
% 0.46/1.14    , X ) ), ~( constant( 'number_of_organizations'( sk1, X ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 298, [ =( 'growth_rate'( 'first_movers', X ), zero ), ~( 
% 0.46/1.14    subpopulations( 'first_movers', 'efficient_producers', sk1, X ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, X ) ) ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , substitution( 0, [ :=( X, X )] ), permutation( 0, [ ==>( 0, 2 ), ==>( 1, 
% 0.46/1.14    0 ), ==>( 2, 1 ), ==>( 3, 3 ), ==>( 4, 4 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 299, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', X ) ) ] )
% 0.46/1.14  , clause( 8, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 300, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 299, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', X ) ) ] )
% 0.46/1.14  , 2, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk2 ), :=( Y, sk1 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 301, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( constant( 
% 0.46/1.14    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 300, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 1, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 302, [ =( 'growth_rate'( 'first_movers', sk2 ), zero ), ~( constant( 
% 0.46/1.14    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 301, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 65, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 302, [ =( 'growth_rate'( 'first_movers', sk2 ), zero ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 ), ==>( 2
% 0.46/1.14    , 2 ), ==>( 3, 3 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 303, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', X ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 9, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'first_movers', Y ), zero ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 304, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 303, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', X ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , 2, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk2 ), :=( Y, sk1 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 305, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( constant( 
% 0.46/1.14    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 304, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , 1, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 306, [ =( 'growth_rate'( 'first_movers', sk2 ), zero ), ~( constant( 
% 0.46/1.14    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 305, [ =( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 74, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 306, [ =( 'growth_rate'( 'first_movers', sk2 ), zero ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 ), ==>( 2
% 0.46/1.14    , 2 ), ==>( 3, 3 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 307, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 11, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 308, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 307, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , 2, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk2 ), :=( Y, sk1 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 309, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 308, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2
% 0.46/1.14     ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , 1, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 310, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 309, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 96, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 310, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 ), ==>( 2
% 0.46/1.14    , 2 ), ==>( 3, 3 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 311, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', X ) ) ] )
% 0.46/1.14  , clause( 12, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ), zero ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', Y ) ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 312, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 311, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( 'growth_rate'( 'first_movers', X ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', X ) ) ] )
% 0.46/1.14  , 2, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk2 ), :=( Y, sk1 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 313, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 312, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2
% 0.46/1.14     ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 1, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 314, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 313, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 105, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 314, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 ), ==>( 2
% 0.46/1.14    , 2 ), ==>( 3, 3 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 315, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', X ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , clause( 13, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', Y ), zero ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 316, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 315, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', X ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', X ), zero ) ] )
% 0.46/1.14  , 2, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk2 ), :=( Y, sk1 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 317, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 316, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2
% 0.46/1.14     ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , 1, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 318, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 317, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 111, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , clause( 318, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 0.46/1.14    'efficient_producers', sk2 ), zero ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 ), ==>( 2
% 0.46/1.14    , 2 ), ==>( 3, 3 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 319, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', X ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', X ) ) ] )
% 0.46/1.14  , clause( 14, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', X, Y ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    X, Y ) ) ), =( 'growth_rate'( 'efficient_producers', Y ), zero ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', Y ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', Y ) ) ] )
% 0.46/1.14  , 3, substitution( 0, [ :=( X, Y ), :=( Y, X )] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 320, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 0.46/1.14     ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 319, [ =( zero, 'growth_rate'( 'efficient_producers', X ) ), ~( 
% 0.46/1.14    environment( Y ) ), ~( subpopulations( 'first_movers', 
% 0.46/1.14    'efficient_producers', Y, X ) ), ~( constant( 'number_of_organizations'( 
% 0.46/1.14    Y, X ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', X ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', X ) ) ] )
% 0.46/1.14  , 2, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 0.46/1.14    sk1, sk2 ) ] )
% 0.46/1.14  , 0, substitution( 0, [ :=( X, sk2 ), :=( Y, sk1 )] ), substitution( 1, [] )
% 0.46/1.14    ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 321, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 320, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2
% 0.46/1.14     ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 1, clause( 15, [ environment( sk1 ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 322, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 321, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 119, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 322, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 ), ==>( 2
% 0.46/1.14    , 2 ), ==>( 3, 3 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 324, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 119, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 0.46/1.14    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 122, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 324, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 ), ==>( 2
% 0.46/1.14    , 2 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 326, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 122, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 328, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) )
% 0.46/1.14    , ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 18, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( 
% 0.46/1.14    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 329, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), ~( =( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  , clause( 328, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14     ), ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 330, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 329, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), ~( 
% 0.46/1.14    =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  , 1, clause( 326, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 331, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 330, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 123, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 331, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 2 ), ==>( 1, 0 ), ==>( 2
% 0.46/1.14    , 1 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 332, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 122, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 333, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 0.46/1.14    =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 19, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 0.46/1.14    , ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 0.46/1.14  , 1, clause( 332, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 334, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 333, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 0.46/1.14    , =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( zero, 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 124, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 334, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), greater( zero
% 0.46/1.14    , 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 2 ), ==>( 2
% 0.46/1.14    , 1 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 335, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 122, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 336, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  , 1, clause( 335, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 2, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 337, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , clause( 336, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 125, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 337, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 2 ), ==>( 2
% 0.46/1.14    , 1 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 338, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , clause( 123, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 0.46/1.14     ), greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( =( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 2, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 339, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  , 1, clause( 338, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 0.46/1.14  , 2, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 340, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , clause( 339, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 127, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 340, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ), greater( 
% 0.46/1.14    zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 2 ), ==>( 2
% 0.46/1.14    , 0 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 341, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 124, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 0, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  resolution(
% 0.46/1.14  clause( 342, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 0.46/1.14  , 1, clause( 341, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 0.46/1.14    , greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  eqswap(
% 0.46/1.14  clause( 343, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 342, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 0.46/1.14    zero ) ), =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , 1, substitution( 0, [] )).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  subsumption(
% 0.46/1.14  clause( 129, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 0.46/1.14    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 0.46/1.14  , clause( 343, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 0.46/1.14    ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ), ~( 
% 0.46/1.14    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 0.46/1.14  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 2 ), ==>( 2
% 0.46/1.14    , 1 )] ) ).
% 0.46/1.14  
% 0.46/1.14  
% 0.46/1.14  paramod(
% 0.46/1.14  clause( 345, [ ~( greater( zero, zero ) ), greater( zero, 'growth_rate'( 
% 0.46/1.14    'first_movers', sk2 ) ), ~( greater( 'growth_rate'( 'first_movers', sk2 )
% 0.46/1.14    , zero ) ), ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ]
% 1.01/1.41     )
% 1.01/1.41  , clause( 124, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 0, clause( 19, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero )
% 1.01/1.41     ), ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ]
% 1.01/1.41     )
% 1.01/1.41  , 1, 3, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  factor(
% 1.01/1.41  clause( 346, [ ~( greater( zero, zero ) ), greater( zero, 'growth_rate'( 
% 1.01/1.41    'first_movers', sk2 ) ), ~( greater( 'growth_rate'( 'first_movers', sk2 )
% 1.01/1.41    , zero ) ) ] )
% 1.01/1.41  , clause( 345, [ ~( greater( zero, zero ) ), greater( zero, 'growth_rate'( 
% 1.01/1.41    'first_movers', sk2 ) ), ~( greater( 'growth_rate'( 'first_movers', sk2 )
% 1.01/1.41    , zero ) ), ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ]
% 1.01/1.41     )
% 1.01/1.41  , 2, 3, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 130, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 1.01/1.41    ~( greater( zero, zero ) ), greater( zero, 'growth_rate'( 'first_movers'
% 1.01/1.41    , sk2 ) ) ] )
% 1.01/1.41  , clause( 346, [ ~( greater( zero, zero ) ), greater( zero, 'growth_rate'( 
% 1.01/1.41    'first_movers', sk2 ) ), ~( greater( 'growth_rate'( 'first_movers', sk2 )
% 1.01/1.41    , zero ) ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 2 ), ==>( 2
% 1.01/1.41    , 0 )] ) ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 347, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) )
% 1.01/1.41    , ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 1.01/1.41    'efficient_producers', X, sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.01/1.41    X, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 49, [ ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 1.01/1.41    'efficient_producers', X, sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.01/1.41    X, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( =( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 5, substitution( 0, [ :=( X, X )] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 349, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) )
% 1.01/1.41    , ~( environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, 
% 1.01/1.41    sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 347, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 1.01/1.41     ), ~( environment( X ) ), ~( subpopulations( 'first_movers', 
% 1.01/1.41    'efficient_producers', X, sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.01/1.41    X, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 2, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 1.01/1.41    sk1, sk2 ) ] )
% 1.01/1.41  , 0, substitution( 0, [ :=( X, sk1 )] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  paramod(
% 1.01/1.41  clause( 350, [ ~( =( zero, zero ) ), ~( constant( 'number_of_organizations'( 
% 1.01/1.41    sk1, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 1.01/1.41    environment( sk1 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 1.01/1.41     ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 96, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.01/1.41    'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, clause( 349, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.01/1.41     ) ), ~( environment( sk1 ) ), ~( constant( 'number_of_organizations'( 
% 1.01/1.41    sk1, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, 3, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  factor(
% 1.01/1.41  clause( 362, [ ~( =( zero, zero ) ), ~( constant( 'number_of_organizations'( 
% 1.01/1.41    sk1, sk2 ) ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 1.01/1.41    environment( sk1 ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero
% 1.01/1.41     ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 350, [ ~( =( zero, zero ) ), ~( constant( 
% 1.01/1.41    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.01/1.41    'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.01/1.41    'efficient_producers', sk2 ), zero ), ~( environment( sk1 ) ), ~( 
% 1.01/1.41    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.01/1.41    'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, 5, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqrefl(
% 1.01/1.41  clause( 12253, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( environment( sk1
% 1.01/1.41     ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 362, [ ~( =( zero, zero ) ), ~( constant( 
% 1.01/1.41    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.01/1.41    'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.01/1.41    'efficient_producers', sk2 ), zero ), ~( environment( sk1 ) ), greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.01/1.41    'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  factor(
% 1.01/1.41  clause( 12254, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( environment( sk1
% 1.01/1.41     ) ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12253, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( environment( sk1
% 1.01/1.41     ) ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, 4, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  factor(
% 1.01/1.41  clause( 12255, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( environment( sk1
% 1.01/1.41     ) ) ] )
% 1.01/1.41  , clause( 12254, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( environment( sk1
% 1.01/1.41     ) ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 2, 4, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12256, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12255, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( environment( sk1
% 1.01/1.41     ) ) ] )
% 1.01/1.41  , 3, clause( 15, [ environment( sk1 ) ] )
% 1.01/1.41  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 132, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12256, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 ), ==>( 2
% 1.01/1.41    , 2 )] ) ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12257, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 132, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 1.01/1.41  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 133, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12257, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 1.01/1.41     ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12258, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , clause( 127, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.01/1.41     ), ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 1, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12259, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12258, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 2, clause( 133, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12260, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12259, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 136, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( =( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.01/1.41  , clause( 12260, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.01/1.41    'growth_rate'( 'first_movers', sk2 ), zero ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 2 ), ==>( 1, 1 ), ==>( 2
% 1.01/1.41    , 0 )] ) ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12261, [ ~( greater( zero, 'growth_rate'( 'efficient_producers', 
% 1.01/1.41    sk2 ) ) ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ]
% 1.01/1.41     )
% 1.01/1.41  , clause( 19, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 1.01/1.41    , ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 1.01/1.41  , 0, clause( 133, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 138, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), zero )
% 1.01/1.41    , ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 1.01/1.41  , clause( 12261, [ ~( greater( zero, 'growth_rate'( 'efficient_producers', 
% 1.01/1.41    sk2 ) ) ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ]
% 1.01/1.41     )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 )] )
% 1.01/1.41     ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12262, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) )
% 1.01/1.41    , greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 1.01/1.41    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.01/1.41  , 0, clause( 133, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 139, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), ~( 
% 1.01/1.41    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.01/1.41  , clause( 12262, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) )
% 1.01/1.41     ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 )] )
% 1.01/1.41     ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12263, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) )
% 1.01/1.41    , ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 1.01/1.41  , clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 1.01/1.41    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.01/1.41  , 0, clause( 138, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 1.01/1.41    zero ), ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) )
% 1.01/1.41     ] )
% 1.01/1.41  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 141, [ ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2
% 1.01/1.41     ) ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.01/1.41  , clause( 12263, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) )
% 1.01/1.41     ), ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ]
% 1.01/1.41     )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 )] )
% 1.01/1.41     ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12265, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 111, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.01/1.41    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( zero, 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.01/1.41    'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 1.01/1.41  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12266, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), zero
% 1.01/1.41     ), =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 138, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), zero
% 1.01/1.41     ), ~( greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ]
% 1.01/1.41     )
% 1.01/1.41  , 1, clause( 12265, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero
% 1.01/1.41     ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  factor(
% 1.01/1.41  clause( 12269, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), zero
% 1.01/1.41     ), =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12266, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 1.01/1.41    zero ), =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, 2, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 143, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 12269, [ greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 1.01/1.41    zero ), =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 1 ), ==>( 1, 0 )] )
% 1.01/1.41     ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12270, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 143, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12271, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , clause( 125, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12272, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), =( zero, 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , clause( 12271, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 2, clause( 12270, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.01/1.41     ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  factor(
% 1.01/1.41  clause( 12273, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , clause( 12272, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), =( zero, 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , 0, 2, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12274, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , clause( 12273, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , clause( 12274, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 1.01/1.41     ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12275, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , clause( 143, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12276, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , clause( 129, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  resolution(
% 1.01/1.41  clause( 12277, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), =( zero, 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , clause( 12276, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( greater( 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 2, clause( 12275, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.01/1.41     ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.01/1.41  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  factor(
% 1.01/1.41  clause( 12278, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.01/1.41  , clause( 12277, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ), =( zero, 
% 1.01/1.41    'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.01/1.41  , 0, 2, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12279, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.01/1.41  , clause( 12278, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.01/1.41  , 0, substitution( 0, [] )).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  subsumption(
% 1.01/1.41  clause( 145, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 1.01/1.41    greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.01/1.41  , clause( 12279, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.01/1.41    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.01/1.41  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 1.01/1.41     ).
% 1.01/1.41  
% 1.01/1.41  
% 1.01/1.41  eqswap(
% 1.01/1.41  clause( 12280, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.01/1.41    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , clause( 143, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 0, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 12281, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) )
% 1.17/1.59    , =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , clause( 20, [ ~( greater( 'growth_rate'( 'efficient_producers', sk2 ), 
% 1.17/1.59    zero ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 0, clause( 12280, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.17/1.59     ), greater( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  eqswap(
% 1.17/1.59  clause( 12282, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 12281, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) )
% 1.17/1.59     ), =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 1, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  subsumption(
% 1.17/1.59  clause( 147, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), ~( 
% 1.17/1.59    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 12282, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 1.17/1.59     ).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  eqswap(
% 1.17/1.59  clause( 12283, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 1.17/1.59    subpopulations( 'first_movers', 'efficient_producers', sk1, X ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, X ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', X ), zero ) ] )
% 1.17/1.59  , clause( 53, [ ~( subpopulations( 'first_movers', 'efficient_producers', 
% 1.17/1.59    sk1, X ) ), ~( constant( 'number_of_organizations'( sk1, X ) ) ), =( 
% 1.17/1.59    'growth_rate'( 'first_movers', X ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', X ), zero ) ] )
% 1.17/1.59  , 2, substitution( 0, [ :=( X, X )] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  eqswap(
% 1.17/1.59  clause( 12284, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 1.17/1.59    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , clause( 136, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( =( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 12287, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 1.17/1.59    subpopulations( 'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , clause( 12284, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 1.17/1.59    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 12283, [ =( zero, 'growth_rate'( 'first_movers', X ) ), ~( 
% 1.17/1.59    subpopulations( 'first_movers', 'efficient_producers', sk1, X ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, X ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', X ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', X ), zero ) ] )
% 1.17/1.59  , 0, substitution( 0, [] ), substitution( 1, [ :=( X, sk2 )] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 12289, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , clause( 74, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 1, clause( 12287, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero )
% 1.17/1.59    , greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 1.17/1.59    subpopulations( 'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 0, 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 12290, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , clause( 74, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 1, clause( 12289, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 7, 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 12293, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , clause( 12290, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 2, 6, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 12296, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , clause( 12293, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 2, 7, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 12299, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , clause( 12296, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), ~( subpopulations( 'first_movers', 
% 1.17/1.59    'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 3, 6, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 12302, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 12299, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.59  , 3, 8, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 12303, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 12302, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 4, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16150, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 12303, [ greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 3, 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16151, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 1.17/1.59    zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16150, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16152, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2
% 1.17/1.59     ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( 
% 1.17/1.59    subpopulations( 'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16151, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( 
% 1.17/1.59    zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16153, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16152, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2
% 1.17/1.59     ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( 
% 1.17/1.59    subpopulations( 'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16154, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero
% 1.17/1.59    , 'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16153, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16155, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, 
% 1.17/1.59    sk2 ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.17/1.59    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16154, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero
% 1.17/1.59    , 'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16156, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16155, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, 
% 1.17/1.59    sk2 ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.17/1.59    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16157, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16156, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16158, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 1.17/1.59     ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16157, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16159, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16158, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 1.17/1.59     ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16160, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 144, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 16159, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ), ~( subpopulations( 'first_movers', 'efficient_producers'
% 1.17/1.59    , sk1, sk2 ) ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16200, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16160, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( subpopulations( 
% 1.17/1.59    'first_movers', 'efficient_producers', sk1, sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 16, clause( 16, [ subpopulations( 'first_movers', 'efficient_producers', 
% 1.17/1.59    sk1, sk2 ) ] )
% 1.17/1.59  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16202, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16200, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'efficient_producers', sk2 ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 1, 14, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16204, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16202, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 13, 14, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16206, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16204, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 13, 14, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16207, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16206, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), ~( 
% 1.17/1.59    constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16208, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 1.17/1.59     ) ) ] )
% 1.17/1.59  , clause( 16207, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16209, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16208, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, sk2 )
% 1.17/1.59     ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16210, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16209, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero ), 
% 1.17/1.59    ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16211, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, 
% 1.17/1.59    sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16210, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16212, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16211, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), greater( zero, zero ), ~( constant( 'number_of_organizations'( sk1, 
% 1.17/1.59    sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16213, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16212, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), greater( zero, zero
% 1.17/1.59     ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16214, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16213, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16215, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16214, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), greater( zero, zero ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16216, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16215, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), greater( zero, 
% 1.17/1.59    zero ), ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16217, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16216, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), greater( zero, zero ), ~( constant( 
% 1.17/1.59    'number_of_organizations'( sk1, sk2 ) ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  subsumption(
% 1.17/1.59  clause( 148, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.17/1.59    zero, zero ) ] )
% 1.17/1.59  , clause( 16217, [ greater( zero, zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ) ), ~( constant( 'number_of_organizations'( 
% 1.17/1.59    sk1, sk2 ) ) ) ] )
% 1.17/1.59  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 2 ), ==>( 1, 1 ), ==>( 2
% 1.17/1.59    , 0 )] ) ).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16219, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 145, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 0, clause( 141, [ ~( greater( zero, 'growth_rate'( 'efficient_producers'
% 1.17/1.59    , sk2 ) ) ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , 0, 3, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16220, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( zero, zero ) ) ] )
% 1.17/1.59  , clause( 16219, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 2, clause( 130, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero
% 1.17/1.59     ) ), ~( greater( zero, zero ) ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ] )
% 1.17/1.59  , 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16222, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( zero, zero ) ) ] )
% 1.17/1.59  , clause( 16220, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( zero, zero ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16223, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , clause( 16222, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( zero, zero ) ) ] )
% 1.17/1.59  , 0, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  subsumption(
% 1.17/1.59  clause( 152, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , clause( 16223, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 1.17/1.59     ).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16224, [ ~( greater( zero, zero ) ), ~( greater( zero, 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 152, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 1, clause( 139, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.17/1.59    ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  subsumption(
% 1.17/1.59  clause( 153, [ ~( greater( zero, zero ) ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16224, [ ~( greater( zero, zero ) ), ~( greater( zero, 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 1.17/1.59     ).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16225, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.17/1.59     ), greater( zero, zero ) ] )
% 1.17/1.59  , clause( 148, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), greater( 
% 1.17/1.59    zero, zero ) ] )
% 1.17/1.59  , 0, clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 1.17/1.59  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  subsumption(
% 1.17/1.59  clause( 155, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 1.17/1.59    , greater( zero, zero ) ] )
% 1.17/1.59  , clause( 16225, [ greater( zero, 'growth_rate'( 'efficient_producers', sk2
% 1.17/1.59     ) ), greater( zero, zero ) ] )
% 1.17/1.59  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 ), ==>( 1, 1 )] )
% 1.17/1.59     ).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16227, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) )
% 1.17/1.59    , greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , clause( 153, [ ~( greater( zero, zero ) ), ~( greater( zero, 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 0, clause( 155, [ greater( zero, 'growth_rate'( 'efficient_producers', 
% 1.17/1.59    sk2 ) ), greater( zero, zero ) ] )
% 1.17/1.59  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16228, [ greater( zero, zero ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 147, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 0, clause( 16227, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2
% 1.17/1.59     ) ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16229, [ greater( zero, zero ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 16228, [ greater( zero, zero ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ), ~( greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16230, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) )
% 1.17/1.59    , ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , clause( 153, [ ~( greater( zero, zero ) ), ~( greater( zero, 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 0, clause( 16229, [ greater( zero, zero ), ~( greater( zero, 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16231, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) )
% 1.17/1.59     ] )
% 1.17/1.59  , clause( 16230, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) )
% 1.17/1.59     ), ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.59  , 0, 1, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  subsumption(
% 1.17/1.59  clause( 157, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , clause( 16231, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) )
% 1.17/1.59     ) ] )
% 1.17/1.59  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16233, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 1.17/1.59    , greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ] )
% 1.17/1.59  , clause( 152, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 0, clause( 155, [ greater( zero, 'growth_rate'( 'efficient_producers', 
% 1.17/1.59    sk2 ) ), greater( zero, zero ) ] )
% 1.17/1.59  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  paramod(
% 1.17/1.59  clause( 16234, [ greater( zero, zero ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , clause( 145, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 0, clause( 16233, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), 
% 1.17/1.59    zero ) ), greater( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , 1, 2, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16235, [ greater( zero, zero ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , clause( 16234, [ greater( zero, zero ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 1, 2, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16236, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 1.17/1.59    , ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , clause( 152, [ ~( greater( zero, zero ) ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 0, clause( 16235, [ greater( zero, zero ), ~( greater( 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  factor(
% 1.17/1.59  clause( 16237, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 1.17/1.59     ] )
% 1.17/1.59  , clause( 16236, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero )
% 1.17/1.59     ), ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 0, 1, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  subsumption(
% 1.17/1.59  clause( 158, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ]
% 1.17/1.59     )
% 1.17/1.59  , clause( 16237, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero )
% 1.17/1.59     ) ] )
% 1.17/1.59  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  eqswap(
% 1.17/1.59  clause( 16239, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , clause( 124, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.59  , 0, substitution( 0, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16241, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.59    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.59  , clause( 105, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), 
% 1.17/1.59    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), greater( 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.59    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.59  , 0, clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 1.17/1.59  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.59  
% 1.17/1.59  
% 1.17/1.59  resolution(
% 1.17/1.59  clause( 16242, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.17/1.59    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), =( 'growth_rate'( 
% 1.17/1.59    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.59    'first_movers', sk2 ) ) ] )
% 1.17/1.60  , clause( 16239, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.17/1.60    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), ~( greater( 
% 1.17/1.60    'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.60  , 2, clause( 16241, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero
% 1.17/1.60     ), greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero
% 1.17/1.60    , 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.60  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  factor(
% 1.17/1.60  clause( 16243, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.17/1.60    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), =( 'growth_rate'( 
% 1.17/1.60    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , clause( 16242, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), 
% 1.17/1.60    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), =( 'growth_rate'( 
% 1.17/1.60    'efficient_producers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.60    'first_movers', sk2 ) ) ] )
% 1.17/1.60  , 1, 3, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  resolution(
% 1.17/1.60  clause( 16248, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.60    =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), =( 'growth_rate'( 
% 1.17/1.60    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , clause( 147, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.60    ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.60  , 1, clause( 16243, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.17/1.60     ), greater( zero, 'growth_rate'( 'first_movers', sk2 ) ), =( 
% 1.17/1.60    'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , 1, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  eqswap(
% 1.17/1.60  clause( 16249, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.60    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), =( 'growth_rate'( 
% 1.17/1.60    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , clause( 16248, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.60    =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ), =( 'growth_rate'( 
% 1.17/1.60    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , 1, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  factor(
% 1.17/1.60  clause( 16250, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.60    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , clause( 16249, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.60    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), =( 'growth_rate'( 
% 1.17/1.60    'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , 0, 1, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  factor(
% 1.17/1.60  clause( 16251, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ]
% 1.17/1.60     )
% 1.17/1.60  , clause( 16250, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ), 
% 1.17/1.60    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , 0, 1, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  subsumption(
% 1.17/1.60  clause( 159, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ] )
% 1.17/1.60  , clause( 16251, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ]
% 1.17/1.60     )
% 1.17/1.60  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  eqswap(
% 1.17/1.60  clause( 16252, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ]
% 1.17/1.60     )
% 1.17/1.60  , clause( 159, [ =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ]
% 1.17/1.60     )
% 1.17/1.60  , 0, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  eqswap(
% 1.17/1.60  clause( 16254, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 ) )
% 1.17/1.60     ), ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.60  , clause( 18, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ), ~( 
% 1.17/1.60    =( 'growth_rate'( 'efficient_producers', sk2 ), zero ) ) ] )
% 1.17/1.60  , 1, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  eqswap(
% 1.17/1.60  clause( 16255, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), ~( 
% 1.17/1.60    =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 1.17/1.60  , clause( 16254, [ ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.17/1.60     ) ), ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.60  , 1, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  resolution(
% 1.17/1.60  clause( 16256, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ] )
% 1.17/1.60  , clause( 16255, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ), 
% 1.17/1.60    ~( =( zero, 'growth_rate'( 'efficient_producers', sk2 ) ) ) ] )
% 1.17/1.60  , 1, clause( 16252, [ =( zero, 'growth_rate'( 'efficient_producers', sk2 )
% 1.17/1.60     ) ] )
% 1.17/1.60  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  eqswap(
% 1.17/1.60  clause( 16257, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.60  , clause( 16256, [ ~( =( zero, 'growth_rate'( 'first_movers', sk2 ) ) ) ]
% 1.17/1.60     )
% 1.17/1.60  , 0, substitution( 0, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  subsumption(
% 1.17/1.60  clause( 161, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.60  , clause( 16257, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ]
% 1.17/1.60     )
% 1.17/1.60  , substitution( 0, [] ), permutation( 0, [ ==>( 0, 0 )] ) ).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  resolution(
% 1.17/1.60  clause( 16260, [ =( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( 
% 1.17/1.60    'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.60    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.60  , clause( 65, [ ~( constant( 'number_of_organizations'( sk1, sk2 ) ) ), =( 
% 1.17/1.60    'growth_rate'( 'first_movers', sk2 ), zero ), greater( 'growth_rate'( 
% 1.17/1.60    'first_movers', sk2 ), zero ), greater( zero, 'growth_rate'( 
% 1.17/1.60    'first_movers', sk2 ) ) ] )
% 1.17/1.60  , 0, clause( 42, [ constant( 'number_of_organizations'( sk1, sk2 ) ) ] )
% 1.17/1.60  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  resolution(
% 1.17/1.60  clause( 16261, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.17/1.60    greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.60  , clause( 161, [ ~( =( 'growth_rate'( 'first_movers', sk2 ), zero ) ) ] )
% 1.17/1.60  , 0, clause( 16260, [ =( 'growth_rate'( 'first_movers', sk2 ), zero ), 
% 1.17/1.60    greater( 'growth_rate'( 'first_movers', sk2 ), zero ), greater( zero, 
% 1.17/1.60    'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.60  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  resolution(
% 1.17/1.60  clause( 16262, [ greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.60  , clause( 158, [ ~( greater( 'growth_rate'( 'first_movers', sk2 ), zero ) )
% 1.17/1.60     ] )
% 1.17/1.60  , 0, clause( 16261, [ greater( 'growth_rate'( 'first_movers', sk2 ), zero )
% 1.17/1.60    , greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) ] )
% 1.17/1.60  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  resolution(
% 1.17/1.60  clause( 16263, [] )
% 1.17/1.60  , clause( 157, [ ~( greater( zero, 'growth_rate'( 'first_movers', sk2 ) ) )
% 1.17/1.60     ] )
% 1.17/1.60  , 0, clause( 16262, [ greater( zero, 'growth_rate'( 'first_movers', sk2 ) )
% 1.17/1.60     ] )
% 1.17/1.60  , 0, substitution( 0, [] ), substitution( 1, [] )).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  subsumption(
% 1.17/1.60  clause( 163, [] )
% 1.17/1.60  , clause( 16263, [] )
% 1.17/1.60  , substitution( 0, [] ), permutation( 0, [] ) ).
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  end.
% 1.17/1.60  
% 1.17/1.60  % ABCDEFGHIJKLMNOPQRSTUVWXYZ
% 1.17/1.60  
% 1.17/1.60  Memory use:
% 1.17/1.60  
% 1.17/1.60  space for terms:        4179
% 1.17/1.60  space for clauses:      7411
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  clauses generated:      2356
% 1.17/1.60  clauses kept:           164
% 1.17/1.60  clauses selected:       105
% 1.17/1.60  clauses deleted:        20
% 1.17/1.60  clauses inuse deleted:  0
% 1.17/1.60  
% 1.17/1.60  subsentry:          266229
% 1.17/1.60  literals s-matched: 250190
% 1.17/1.60  literals matched:   250190
% 1.17/1.60  full subsumption:   0
% 1.17/1.60  
% 1.17/1.60  checksum:           -207414192
% 1.17/1.60  
% 1.17/1.60  
% 1.17/1.60  Bliksem ended
%------------------------------------------------------------------------------