============================== Mace4 =================================
Mace4 (32) version 2009-02A, February 2009.
Process 15418 was started by mccune on cleo,
Tue Apr 14 17:51:22 2009
The command was "./mace4 -m -1 -n7 -f r1.in".
============================== end of head ===========================

============================== INPUT =================================

% Reading from file r1.in

set(arithmetic).
    % set(arithmetic) -> clear(lnh).
    % set(arithmetic) -> assign(selection_order, 0).

    % Declaring Mace4 arithmetic parse types.
lex([A,E,P1,P2,K,a,p]).

formulas(assumptions).
A + E + P1 + P2 = a + p + 1.
A + E + P1 + P2 + a + p + K > 1.
A + E + P1 + P2 + a + p + K <= domain_size.
end_of_list.

% From the command line: assign(max_models, -1).
    % assign(domain_size, 7) -> assign(start_size, 7).
    % assign(domain_size, 7) -> assign(end_size, 7).

% From the command line: assign(domain_size, 7).

============================== end of input ==========================

============================== PROCESS NON-CLAUSAL FORMULAS ==========

% Formulas that are not ordinary clauses:

============================== end of process non-clausal formulas ===

============================== CLAUSES FOR SEARCH ====================

formulas(mace4_clauses).
A + E + P1 + P2 = a + p + 1.
A + E + P1 + P2 + a + p + K > 1.
A + E + P1 + P2 + a + p + K <= domain_size.
end_of_list.

============================== end of clauses for search =============

% The largest natural number in the input is 1.

============================== DOMAIN SIZE 7 =========================

============================== MODEL =================================

interpretation( 7, [number=1, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=2, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=3, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=4, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=5, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 5 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=6, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 6 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=7, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=8, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=9, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=10, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=11, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=12, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=13, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=14, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=15, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=16, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=17, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=18, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=19, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=20, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=21, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=22, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=23, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=24, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=25, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=26, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 4 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=27, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 4 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=28, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 4 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=29, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 4 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=30, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=31, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=32, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=33, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=34, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 5 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=35, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 6 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=36, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=37, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=38, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=39, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=40, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=41, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=42, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=43, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=44, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=45, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=46, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=47, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=48, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=49, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=50, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=51, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=52, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=53, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=54, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=55, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=56, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=57, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=58, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=59, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=60, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=61, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=62, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=63, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=64, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=65, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=66, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=67, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=68, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=69, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=70, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=71, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=72, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=73, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=74, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=75, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=76, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=77, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=78, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=79, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=80, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=81, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=82, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=83, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=84, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=85, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=86, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=87, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=88, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=89, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=90, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=91, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=92, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=93, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=94, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=95, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 4 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=96, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 4 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=97, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 4 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=98, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 0 ]),

        function(P1, [ 4 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=99, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=100, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=101, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=102, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=103, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 5 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=104, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 6 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=105, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=106, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=107, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=108, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=109, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=110, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=111, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=112, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=113, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=114, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=115, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=116, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=117, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=118, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=119, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=120, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=121, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=122, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=123, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=124, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=125, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=126, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=127, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=128, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=129, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=130, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=131, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=132, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=133, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=134, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=135, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=136, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=137, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=138, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=139, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=140, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=141, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=142, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=143, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=144, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=145, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=146, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=147, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=148, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=149, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=150, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=151, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=152, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=153, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=154, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=155, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=156, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=157, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=158, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=159, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=160, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=161, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=162, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=163, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=164, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=165, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=166, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=167, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 1 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=168, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=169, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=170, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=171, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=172, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=173, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=174, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=175, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=176, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=177, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=178, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=179, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=180, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=181, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=182, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=183, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=184, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=185, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=186, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=187, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=188, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=189, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=190, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=191, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=192, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=193, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=194, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=195, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=196, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=197, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=198, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=199, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=200, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=201, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=202, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=203, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=204, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=205, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=206, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=207, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 2 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=208, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=209, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=210, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=211, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=212, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=213, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=214, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=215, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=216, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=217, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=218, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=219, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=220, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=221, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=222, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=223, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=224, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 3 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=225, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 4 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=226, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 4 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=227, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 4 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=228, seconds=0], [

        function(A, [ 0 ]),

        function(E, [ 4 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=229, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=230, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=231, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=232, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=233, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 5 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=234, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 6 ]),

        function(a, [ 0 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=235, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=236, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=237, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=238, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=239, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=240, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=241, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=242, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=243, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=244, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=245, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=246, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=247, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=248, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=249, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=250, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=251, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=252, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=253, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=254, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=255, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=256, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=257, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 3 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=258, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=259, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=260, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=261, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=262, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=263, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=264, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=265, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=266, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=267, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=268, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=269, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=270, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=271, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=272, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=273, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=274, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=275, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=276, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=277, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=278, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=279, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=280, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=281, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=282, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=283, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=284, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=285, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=286, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=287, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=288, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=289, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=290, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=291, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=292, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=293, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=294, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=295, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=296, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=297, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 0 ]),

        function(P1, [ 3 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=298, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=299, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=300, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=301, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=302, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=303, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=304, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=305, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=306, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=307, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=308, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=309, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=310, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=311, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=312, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=313, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=314, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=315, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=316, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=317, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=318, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=319, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=320, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=321, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=322, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=323, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=324, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=325, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=326, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=327, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=328, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=329, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=330, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=331, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=332, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=333, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=334, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=335, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=336, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=337, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 1 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=338, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=339, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=340, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=341, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=342, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=343, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=344, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=345, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=346, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=347, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=348, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=349, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=350, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=351, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=352, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=353, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=354, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 2 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=355, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=356, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=357, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=358, seconds=0], [

        function(A, [ 1 ]),

        function(E, [ 3 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=359, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=360, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=361, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=362, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=363, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=364, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=365, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=366, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 3 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=367, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 0 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=368, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 4 ]),

        function(a, [ 1 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=369, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=370, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=371, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=372, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=373, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=374, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=375, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=376, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=377, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=378, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=379, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=380, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=381, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 2 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=382, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=383, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=384, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=385, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=386, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=387, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=388, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=389, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=390, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=391, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=392, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=393, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=394, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=395, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=396, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=397, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=398, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 0 ]),

        function(P1, [ 2 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=399, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=400, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=401, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=402, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=403, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=404, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=405, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=406, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=407, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=408, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=409, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=410, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=411, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=412, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=413, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=414, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=415, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 1 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=416, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=417, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=418, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=419, seconds=0], [

        function(A, [ 2 ]),

        function(E, [ 2 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=420, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=421, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=422, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=423, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=424, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=425, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 1 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=426, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 0 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=427, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 1 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=428, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 2 ]),

        function(a, [ 2 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=429, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=430, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=431, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=432, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 1 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=433, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=434, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=435, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=436, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 0 ]),

        function(P1, [ 1 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=437, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=438, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=439, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=440, seconds=0], [

        function(A, [ 3 ]),

        function(E, [ 1 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=441, seconds=0], [

        function(A, [ 4 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 0 ]),

        function(p, [ 3 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=442, seconds=0], [

        function(A, [ 4 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 1 ]),

        function(p, [ 2 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=443, seconds=0], [

        function(A, [ 4 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 2 ]),

        function(p, [ 1 ])
]).

============================== end of model ==========================

============================== MODEL =================================

interpretation( 7, [number=444, seconds=0], [

        function(A, [ 4 ]),

        function(E, [ 0 ]),

        function(P1, [ 0 ]),

        function(P2, [ 0 ]),

        function(K, [ 0 ]),

        function(a, [ 3 ]),

        function(p, [ 0 ])
]).

============================== end of model ==========================

============================== STATISTICS ============================

For domain size 7.

Current CPU time: 0.00 seconds (total CPU time: 1.30 seconds).
Ground clauses: seen=3, kept=3.
Selections=137257, assignments=960799, propagations=0, current_models=444.
Rewrite_terms=1225346, rewrite_bools=830385, indexes=0.
Rules_from_neg_clauses=0, cross_offs=0.

============================== end of statistics =====================

User_CPU=1.30, System_CPU=0.03, Wall_clock=2.

Exiting with 444 models.

Process 15418 exit (all_models) Tue Apr 14 17:51:24 2009
The process finished Tue Apr 14 17:51:24 2009
