%% PROGRAM

:- module('QASP', [modele_QASP/2]).
:- use_module(library(lists)).

padding([], _Univ, []).
padding([sk(V, Table) | Skolems], Univ, [sk(V, Table_) | Skolems_]) :-
	extend(Table, Univ, Table_),
	padding(Skolems, Univ, Skolems_).

extend([], _Univ, []).
extend(['|->'(Args, Res) | Table_In], Univ, Table_Out) :-
	extend(Table_In, Univ, Table_),
	padd(Args, Args, Univ, Res, Fonc),
	append(Fonc, Table_, Table_Out).

padd([], Args, [], Res, ['|->'(Args, Res)]).
padd([], Args, [_ | Univ], Res, Fonc) :-
	append(Args, [in], Args_In),
	padd([], Args_In, Univ, Res, Fonc_In),
	append(Args, [out], Args_Out),
	padd([], Args_Out, Univ, Res, Fonc_Out),
	append(Fonc_In, Fonc_Out, Fonc).
padd([_Arg | Args_], Args, [_ | Univ], Res, Fonc) :-
	padd(Args_, Args, Univ, Res, Fonc).


reduit(_S, [], []).
reduit(S, [regle(T, P, N) | Regles], Clauses) :-
	reduit(S, Regles, Clauses_),
	(
	    intersection(S, N),
	    !,
	    Clauses = Clauses_
	;
	    Clauses = [clause(T, P) | Clauses_]
	).


cn(P, Cn) :-
	cn(P, [], Cn).
cn(P, S, Cn) :-
	un_pas(P, S, S_),
	(
	    S = S_, ! , Cn = S
	; 
	    cn(P, S_, Cn)
	).
	
un_pas([], S, S).
un_pas([clause(T, C)  | Clauses], S_In, S_Out) :-
	un_pas(Clauses, S_In, S),
	(
	    \+ member(T, S_In),
	    applicable(C, S_In), 
	    !,
	    S_Out = [T | S]
	; 
	    S_Out = S
	).

applicable([], _S).
applicable([A | C], S) :-
	member(A, S),
	applicable(C, S).


intersection(S, N) :-
	member(X, S), member(X,N).


% Fonction de Skolem à la place des atomes dans le modèle 

modele_QASP(Programme_QASP, Modele) :-
	Programme_QASP = (Lieur, Programme_ASP),
	extrait_universelles(Lieur, Univ),
	padding(Modele, Univ, Modele_), % padding pour obtenir des fonctions de Skolem toutes de même espace de définition
	map_answer_set(Univ, [], [], Programme_ASP, Modele_).

extrait_universelles([], []).
extrait_universelles([a(X) | Lieur], [X | Univ]) :-
	extrait_universelles(Lieur, Univ).
extrait_universelles([e(_) | Lieur], Univ) :-
	extrait_universelles(Lieur, Univ).

% Pour chaque combinaison des universelles, les fonctions de Skolem fournissent un ensemble d'atomes (vrai : l'atome est présent, faux : l'atome est absent) qui doit être un modèle stable.
map_answer_set([], Answer_Set_Univ, Args, Programme_ASP, Modele_QASP) :-
	construit_answer_set_existentiel(Args, Modele_QASP, Answer_Set_Exis),
	append(Answer_Set_Exis, Answer_Set_Univ, Answer_Set),
	% modification
	fait(Answer_Set_Univ, Faits_Univ),
	reduit(Answer_Set, Programme_ASP, Clauses),
	append(Clauses, Faits_Univ, Clauses_Univ),
	cn(Clauses_Univ, Ensemble_Atomes),
%	cn(Clauses, Ensemble_Atomes),
	egaux(Ensemble_Atomes, Answer_Set).
map_answer_set([X | Univ], Answer_Set_Univ, Args, Programme_ASP, Modele_QASP) :-
	append(Args, [out], Out_Args),
	map_answer_set(Univ, Answer_Set_Univ, Out_Args, Programme_ASP, Modele_QASP),
	
	append(Args, [in], In_Args),
	map_answer_set(Univ, [X | Answer_Set_Univ], In_Args, Programme_ASP, Modele_QASP).

construit_answer_set_existentiel(_Args, [], []).
construit_answer_set_existentiel(Args, [sk(X, Sk_X) | Modele_QASP], Answer_Set_Exis) :-
	construit_answer_set_existentiel(Args, Modele_QASP, Answer_Set_Exis_),
	(
	    member('|->'(Args, in), Sk_X),
	    Answer_Set_Exis = [X | Answer_Set_Exis_] 
	; 
	    member('|->'(Args, out), Sk_X),
	    Answer_Set_Exis = Answer_Set_Exis_
	).

egaux([], []).
egaux([X | L1], L2) :-
	member(X, L2),
	delete(L1, X, L1_),
	delete(L2, X, L2_),
	!,
	egaux(L1_, L2_).

fait([], []).
fait([X | L], [clause(X, []) | Faits]) :-
	fait(L, Faits).


%% EXAMPLES

:- prolog_flag(toplevel_print_options,_,[quoted(true),numbervars(true),portrayed(true),max_depth(10)]).
:- prolog_flag(debugger_print_options,_,[quoted(true),numbervars(true),portrayed(true),max_depth(10)]).
:- op(900, xfx, '|->').

%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' in)]), sk(y, [([] '|->' in)]), sk(z, [([] '|->' out)])]). 

%% yes
%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' in)]), sk(y, [([], in)]) '|->' sk(z, [([] '|->' in)])]). 

%% no
%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' in)]), sk(y, [([] '|->' out)]), sk(z, [([] '|->' in)])]). 

%% no
%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' in)]), sk(y, [([] '|->' out)]), sk(z, [([] '|->' out)])]). 

%% no
%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' out)]), sk(y, [([] '|->' out)]), sk(z, [([] '|->' out)])]). 

%% no
%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' out)]), sk(y, [([] '|->' out)]), sk(z, [([] '|->' in)])]). 

%% no
%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' out)]), sk(y, [([] '|->' in)]), sk(z, [([] '|->' in)])]). 

%% no
%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' out)]), sk(y, [([] '|->' in)]), sk(z, [([] '|->' out)])]). 

%% no


%% | ?- modele_QASP(([e(x), e(y), e(z)], [regle(x, [y], [z]), regle(y, [], [z])]), [sk(x, [([] '|->' X)]), sk(y, [([] '|->' Y)]), sk(z, [([] '|->' Z)])]).
%% X = in,
%% Y = in,
%% Z = out ? ;
%% no


%% | ?- modele_QASP(([a(x), e(y), e(z)], [regle(x, [z], []), regle(y, [], [z]), regle(z, [], [y])]), [sk(y, [([out] '|->' Y_xo),([in] '|->' Y_xi)]), sk(z, [([out] '|->' Z_xo),([in] '|->' Z_xi)])]).
%% Y_xi = out,
%% Y_xo = in,
%% Z_xi = in,
%% Z_xo = out ? ;
%% no


%% | ?- modele_QASP(([e(y), e(z), a(x)], [regle(x, [z], []), regle(y, [], [z]), regle(z, [], [y])]), [sk(y, [([] '|->' Y)]), sk(z, [([] '|->' Z)])]).
%% no

%% % EaEbEcEd ((cvb)&(b->((c->d)&(cv(a<->¬d)))))
%
%% | ?- modele_QASP(([e(a),e(b),e(c),e(d),e(na),e(nb),e(nc),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111),e(bug)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(a, [],[na]), regle(na,[],[a]), regle(b,[],[nb]), regle(nb, [],[b]), regle(c,[],[nc]),regle(nc,[],[c]),regle(d,[],[nd]),regle(nd,[],[d])]), [sk(a, [([] '|->' A)]), sk(b, [([] '|->'B )]), sk(c, [([] '|->' C)]), sk(d, [([] '|->' D)]), sk(na, [([] '|->' NA)]), sk(nb, [([] '|->' NB)]), sk(nc, [([] '|->' NC)]), sk(nd, [([] '|->' ND)]), sk(se, [([] '|->' SE)]), sk(s0, [([] '|->' S0)]), sk(s1, [([] '|->' S1)]), sk(s11, [([] '|->' S11)]), sk(s110, [([] '|->' S110)]),sk(s111, [([] '|->' S111)]),sk(s1110, [([] '|->' S1110)]),sk(s1111, [([] '|->' S1111)])]).
%% A = in,
%% B = in,
%% C = out,
%% D = out,
%% NA = out,
%% NB = out,
%% NC = in,
%% ND = in,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = in,
%% S110 = in,
%% S111 = in,
%% S1110 = out,
%% S1111 = in ? ;
%% A = out,
%% B = in,
%% C = out,
%% D = in,
%% NA = in,
%% NB = out,
%% NC = in,
%% ND = out,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = in,
%% S110 = in,
%% S111 = in,
%% S1110 = out,
%% S1111 = in ? ;
%% A = out,
%% B = out,
%% C = in,
%% D = in,
%% NA = in,
%% NB = in,
%% NC = out,
%% ND = out,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = in,
%% S110 = in,
%% S111 = in,
%% S1110 = out,
%% S1111 = in ? ;
%% A = out,
%% B = in,
%% C = in,
%% D = in,
%% NA = in,
%% NB = out,
%% NC = out,
%% ND = out,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = in,
%% S110 = in,
%% S111 = in,
%% S1110 = out,
%% S1111 = in ? ;
%% A = in,
%% B = out,
%% C = in,
%% D = out,
%% NA = out,
%% NB = in,
%% NC = out,
%% ND = in,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = out,
%% S110 = out,
%% S111 = in,
%% S1110 = out,
%% S1111 = in ? ;
%% A = in,
%% B = out,
%% C = in,
%% D = in,
%% NA = out,
%% NB = in,
%% NC = out,
%% ND = out,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = in,
%% S110 = in,
%% S111 = in,
%% S1110 = out,
%% S1111 = out ? ;
%% A = in,
%% B = in,
%% C = in,
%% D = in,
%% NA = out,
%% NB = out,
%% NC = out,
%% ND = out,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = in,
%% S110 = in,
%% S111 = in,
%% S1110 = out,
%% S1111 = out ? ;
%% A = out,
%% B = out,
%% C = in,
%% D = out,
%% NA = in,
%% NB = in,
%% NC = out,
%% ND = in,
%% S0 = in,
%% S1 = in,
%% SE = in,
%% S11 = out,
%% S110 = out,
%% S111 = in,
%% S1110 = out,
%% S1111 = out ? ;
%% no



%% % VaEbVcEd ((cvb)&(b->((c->d)&(cv(a<->¬d)))))
%
%
% l'unique modèle : 
contexte(Bi, Bo, NBi, NBo, Dii, Dio, Doi, Doo, NDii, NDio, NDoi, NDoo, SEii, SEio, SEoi, SEoo, S0ii, S0io, S0oi, S0oo, S1ii, S1io, S1oi, S1oo, S11ii, S11io, S11oi, S11oo, S110ii, S110io, S110oi, S110oo, S111ii, S111io, S111oi, S111oo) :-
	Bi = in, Bo = in, NBi = out, NBo = out, Dii = in, Dio= out, Doi = in, Doo = in,  NDii = out, NDio= in, NDoi = out, NDoo = out, SEii = in, SEio = in, SEoi = in, SEoo = in, S0ii = in, S0io = in, S0oi = in, S0oo = in, S1ii = in, S1io = in, S1oi = in, S1oo = in, S11ii = in, S11io = in, S11oi = in, S11oo = in, S110ii = in, S110io = in, S110oi = in, S110oo = in, S111ii = in, S111io = in, S111oi = in, S111oo = in.

%% | ?- contexte(_Bi, _Bo, _NBi, _NBo, _Dii, _Dio, _Doi, _Doo, _NDii, _NDio, _NDoi, _NDoo, _SEii, _SEio, _SEoi, _SEoo, _S0ii, _S0io, _S0oi, _S0oo, _S1ii, _S1io, _S1oi, _S1oo, _S11ii, _S11io, _S11oi, _S11oo, _S110ii, _S110io, _S110oi, _S110oo, _S111ii, _S111io, _S111oi, _S111oo), modele_QASP(([e(bug),a(a),e(na),e(b),e(nb),a(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(na, [([in] '|->' NAi), ([out] '|->' NAo)]), sk(b, [([in] '|->' _Bi), ([out] '|->' _Bo)]), sk(nc, [([in,in] '|->' NCii),([in,out] '|->' NCio),([out,in] '|->' NCoi),([out,out] '|->' NCoo)]), sk(d, [([in,in] '|->' _Dii),([in,out] '|->' _Dio),([out,in] '|->' _Doi),([out,out] '|->' _Doo)]), sk(nb, [([in] '|->' _NBi),([out] '|->' _NBo)]), sk(nd, [([in,in] '|->' _NDii),([in,out] '|->' _NDio),([out,in] '|->' _NDoi),([out,out] '|->' _NDoo)]), sk(se, [([in,in] '|->' _SEii),([in,out] '|->' _SEio),([out,in] '|->' _SEoi),([out,out] '|->' _SEoo)]), sk(s0, [([in,in] '|->' _S0ii),([out,out] '|->' _S0oo),([in,out] '|->' _S0io),([out,in] '|->' _S0oi)]), sk(s1, [([in,in] '|->' _S1ii),([in,out] '|->' _S1io),([out,in] '|->' _S1oi),([out,out] '|->' _S1oo)]), sk(s11, [([in,in] '|->' _S11ii),([in,out] '|->' _S11io),([out,in] '|->' _S11oi),([out,out] '|->' _S11oo)]), sk(s110, [([in,in] '|->' _S110ii),([in,out] '|->' _S110io),([out,in] '|->' _S110oi),([out,out] '|->' _S110oo)]),sk(s111, [([in,in] '|->' _S111ii),([in,out] '|->' _S111io),([out,in] '|->' _S111oi),([out,out] '|->' _S111oo)]),sk(s1111, [([in,in] '|->' _S1111ii),([in,out] '|->' _S1111io),([out,in] '|->' _S1111oi),([out,out] '|->' _S1111oo)])]).
%% NAi = out,
%% NAo = in,
%% NCii = out,
%% NCio = in,
%% NCoi = out,
%% NCoo = in ? ;
%% no


 
%% | ?- modele_QASP(([e(bug),a(a),e(na),e(b),e(nb),a(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(na, [([in] '|->' NAi), ([out] '|->' NAo)]), sk(b, [([in] '|->' Bi), ([out] '|->' Bo)]), sk(nc, [([in,in] '|->' NCii),([in,out] '|->' NCio),([out,in] '|->' NCoi),([out,out] '|->' NCoo)]), sk(d, [([in,in] '|->' Dii),([in,out] '|->' Dio),([out,in] '|->' Doi),([out,out] '|->' Doo)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(nd, [([in,in] '|->' NDii),([in,out] '|->' NDio),([out,in] '|->' NDoi),([out,out] '|->' NDoo)]), sk(se, [([in,in] '|->' SEii),([in,out] '|->' SEio),([out,in] '|->' SEoi),([out,out] '|->' SEoo)]), sk(s0, [([in,in] '|->' S0ii),([out,out] '|->' S0oo),([in,out] '|->' S0io),([out,in] '|->' S0oi)]), sk(s1, [([in,in] '|->' S1ii),([in,out] '|->' S1io),([out,in] '|->' S1oi),([out,out] '|->' S1oo)]), sk(s11, [([in,in] '|->' S11ii),([in,out] '|->' S11io),([out,in] '|->' S11oi),([out,out] '|->' S11oo)]), sk(s110, [([in,in] '|->' S110ii),([in,out] '|->' S110io),([out,in] '|->' S110oi),([out,out] '|->' S110oo)]),sk(s111, [([in,in] '|->' S111ii),([in,out] '|->' S111io),([out,in] '|->' S111oi),([out,out] '|->' S111oo)]),sk(s1111, [([in,in] '|->' S1111ii),([in,out] '|->' S1111io),([out,in] '|->' S1111oi),([out,out] '|->' S1111oo)])]).
%% Bi = in,
%% Bo = in,
%% Dii = in,
%% Dio = out,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = out,
%% NCii = out,
%% NCio = in,
%% NCoi = out,
%% NCoo = in,
%% NDii = out,
%% NDio = in,
%% NDoi = out,
%% NDoo = out,
%% S0ii = in,
%% S0io = in,
%% S0oi = in,
%% S0oo = in,
%% S1ii = in,
%% S1io = in,
%% S1oi = in,
%% S1oo = in,
%% SEii = in,
%% SEio = in,
%% SEoi = in,
%% SEoo = in,
%% S11ii = in,
%% S11io = in,
%% S11oi = in,
%% S11oo = in,
%% S110ii = in,
%% S110io = in,
%% S110oi = in,
%% S110oo = in,
%% S111ii = in,
%% S111io = in,
%% S111oi = in,
%% S111oo = in,
%% S1111io = in,
%% S1111ii = out,
%% S1111oo = in,
%% S1111oi = in ? ;
%% no

%% Autre codage : pas d'occurrences de la forme négative des littéraux dans les règles définissant la formule.
%% VaEbVcEd
%% | ?- modele_QASP(([e(bug),a(a),e(na),e(b),e(nb),a(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a],[d]), regle(s1111,[d],[a]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(na, [([in] '|->' NAi), ([out] '|->' NAo)]), sk(b, [([in] '|->' Bi), ([out] '|->' Bo)]), sk(nc, [([in,in] '|->' NCii),([in,out] '|->' NCio),([out,in] '|->' NCoi),([out,out] '|->' NCoo)]), sk(d, [([in,in] '|->' Dii),([in,out] '|->' Dio),([out,in] '|->' Doi),([out,out] '|->' Doo)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(nd, [([in,in] '|->' NDii),([in,out] '|->' NDio),([out,in] '|->' NDoi),([out,out] '|->' NDoo)]), sk(se, [([in,in] '|->' SEii),([in,out] '|->' SEio),([out,in] '|->' SEoi),([out,out] '|->' SEoo)]), sk(s0, [([in,in] '|->' S0ii),([out,out] '|->' S0oo),([in,out] '|->' S0io),([out,in] '|->' S0oi)]), sk(s1, [([in,in] '|->' S1ii),([in,out] '|->' S1io),([out,in] '|->' S1oi),([out,out] '|->' S1oo)]), sk(s11, [([in,in] '|->' S11ii),([in,out] '|->' S11io),([out,in] '|->' S11oi),([out,out] '|->' S11oo)]), sk(s110, [([in,in] '|->' S110ii),([in,out] '|->' S110io),([out,in] '|->' S110oi),([out,out] '|->' S110oo)]),sk(s111, [([in,in] '|->' S111ii),([in,out] '|->' S111io),([out,in] '|->' S111oi),([out,out] '|->' S111oo)]),sk(s1111, [([in,in] '|->' S1111ii),([in,out] '|->' S1111io),([out,in] '|->' S1111oi),([out,out] '|->' S1111oo)])]).
%% Bi = in,
%% Bo = in,
%% Dii = in,
%% Dio = out,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = out,
%% NCii = out,
%% NCio = in,
%% NCoi = out,
%% NCoo = in,
%% NDii = out,
%% NDio = in,
%% NDoi = out,
%% NDoo = out,
%% S0ii = in,
%% S0io = in,
%% S0oi = in,
%% S0oo = in,
%% S1ii = in,
%% S1io = in,
%% S1oi = in,
%% S1oo = in,
%% SEii = in,
%% SEio = in,
%% SEoi = in,
%% SEoo = in,
%% S11ii = in,
%% S11io = in,
%% S11oi = in,
%% S11oo = in,
%% S110ii = in,
%% S110io = in,
%% S110oi = in,
%% S110oo = in,
%% S111ii = in,
%% S111io = in,
%% S111oi = in,
%% S111oo = in,
%% S1111io = in,
%% S1111ii = out,
%% S1111oo = in,
%% S1111oi = in ? ;
%% no

%% VaEbEcEd ((c + b) * (b =< ((c =< d) * (c + (a =:= ~d)))))
%% | ?- modele_QASP(([e(bug),a(a),e(na),e(b),e(nb),e(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(na, [([in] '|->' NAi), ([out] '|->' NAo)]), sk(b, [([in] '|->' Bi), ([out] '|->' Bo)]), sk(c, [([in] '|->' Ci), ([out] '|->' Co)]), sk(nc, [([in] '|->' NCi),([out] '|->' NCo)]), sk(d, [([in] '|->' Di),([out] '|->' Do)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(nd, [([in] '|->' NDi),([out] '|->' NDo)]), sk(se, [([in] '|->' _SEi),([out] '|->' _SEo)]), sk(s0, [([in] '|->' _S0i),([out] '|->' _S0o)]), sk(s1, [([in] '|->' _S1i),([out] '|->' _S1o)]), sk(s11, [([in] '|->' _S11i),([out] '|->' _S11o)]), sk(s110, [([in] '|->' _S110i),([out] '|->' _S110o)]),sk(s111, [([in] '|->' _S111i),([out] '|->' _S111o)]),sk(s1111, [([in] '|->' S1111i),([out] '|->' S1111o)])]).
%% Bi = in,
%% Bo = out,
%% Ci = out,
%% Co = in,
%% Di = out,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = in,
%% NCi = in,
%% NCo = out,
%% NDi = in,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% Bi = out,
%% Bo = out,
%% Ci = in,
%% Co = in,
%% Di = out,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = in,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% Bi = out,
%% Bo = out,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = out,
%% S1111i = out,
%% S1111o = in ? ;
%% Bi = in,
%% Bo = out,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = out,
%% S1111i = out,
%% S1111o = in ? ;
%% Bi = in,
%% Bo = in,
%% Ci = out,
%% Co = out,
%% Di = out,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = out,
%% NCi = in,
%% NCo = in,
%% NDi = in,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% Bi = out,
%% Bo = in,
%% Ci = in,
%% Co = out,
%% Di = out,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = out,
%% NCi = out,
%% NCo = in,
%% NDi = in,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% Bi = out,
%% Bo = in,
%% Ci = in,
%% Co = out,
%% Di = in,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = out,
%% NCi = out,
%% NCo = in,
%% NDi = out,
%% NDo = out,
%% S1111i = out,
%% S1111o = in ? ;
%% Bi = in,
%% Bo = in,
%% Ci = in,
%% Co = out,
%% Di = in,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = out,
%% NCi = out,
%% NCo = in,
%% NDi = out,
%% NDo = out,
%% S1111i = out,
%% S1111o = in ? ;
%% Bi = in,
%% Bo = in,
%% Ci = out,
%% Co = in,
%% Di = out,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = out,
%% NCi = in,
%% NCo = out,
%% NDi = in,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% Bi = out,
%% Bo = in,
%% Ci = in,
%% Co = in,
%% Di = out,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = out,
%% NCi = out,
%% NCo = out,
%% NDi = in,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% Bi = out,
%% Bo = in,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = out,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = out,
%% S1111i = out,
%% S1111o = in ? ;
%% Bi = in,
%% Bo = in,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = in,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = out,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = out,
%% S1111i = out,
%% S1111o = in ? ;
%% Bi = in,
%% Bo = out,
%% Ci = out,
%% Co = in,
%% Di = out,
%% Do = out,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = in,
%% NCi = in,
%% NCo = out,
%% NDi = in,
%% NDo = in,
%% S1111i = in,
%% S1111o = out ? ;
%% Bi = out,
%% Bo = out,
%% Ci = in,
%% Co = in,
%% Di = out,
%% Do = out,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = in,
%% NDo = in,
%% S1111i = in,
%% S1111o = out ? ;
%% Bi = out,
%% Bo = out,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = out,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = in,
%% S1111i = out,
%% S1111o = out ? ;
%% Bi = in,
%% Bo = out,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = out,
%% NAi = out,
%% NAo = in,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = in,
%% S1111i = out,
%% S1111o = out ? ;
%% no

%% VaVbEcEd ((c + b) * (b =< ((c =< d) * (c + (a =:= ~d)))))
%% | ?- modele_QASP(([e(bug),a(a),e(na),a(b),e(nb),e(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(na, [([in] '|->' NAi), ([out] '|->' NAo)]), sk(nb, [([in,in] '|->' NBii),([in,out] '|->' NBio),([out,in] '|->' NBoi),([out,out] '|->' NBoo)]), sk(c, [([in,in] '|->' Cii), ([in,out] '|->' Cio),([out,in] '|->' Coi), ([out,out] '|->' Coo)]), sk(nc, [([in,in] '|->' NCi),([in,out] '|->' NCio),([out,in] '|->' NCoi),([out,out] '|->' NCoo)]), sk(d, [([in,in] '|->' Dii),([in,out] '|->' Dio),([out,in] '|->' Doi),([out,out] '|->' Doo)]), sk(nd, [([in,in] '|->' NDii),([in,out] '|->' NDio),([out,in] '|->' NDoi),([out,out] '|->' NDoo)]), sk(se, [([in,in] '|->' _SEii),([in,out] '|->' _SEio),([out,in] '|->' _SEoi),([out,out] '|->' _SEoo)]), sk(s0, [([in,in] '|->' _S0ii),([in,out] '|->' _S0io),([out,in] '|->' _S0oi),([out,out] '|->' _S0oo)]), sk(s1, [([in,in] '|->' _S1ii),([in,out] '|->' _S1io),([out,in] '|->' _S1oi),([out,out] '|->' _S1oo)]), sk(s11, [([in,in] '|->' _S11ii),([in,out] '|->' _S11io),([out,in] '|->' _S11oi),([out,out] '|->' _S11oo)]), sk(s110, [([in,in] '|->' _S110ii),([in,out] '|->' _S110io),([out,in] '|->' _S110oi),([out,out] '|->' _S110oo)]),sk(s111, [([in,in] '|->' _S111ii),([in,out] '|->' _S111io),([out,in] '|->' _S111oi),([out,out] '|->' _S111oo)]),sk(s1111, [([in,in] '|->' S1111ii),([in,out] '|->' S1111io),([out,in] '|->' S1111oi),([out,out] '|->' S1111oo)])]).
%% Cii = out,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = out,
%% Dio = out,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = in,
%% NDio = in,
%% NDoi = out,
%% NDoo = out,
%% S1111io = in,
%% S1111ii = in,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = in,
%% Dio = out,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = out,
%% NDio = in,
%% NDoi = out,
%% NDoo = out,
%% S1111io = in,
%% S1111ii = out,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = out,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = out,
%% Dio = in,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = in,
%% NDio = out,
%% NDoi = out,
%% NDoo = out,
%% S1111io = out,
%% S1111ii = in,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = in,
%% Dio = in,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = out,
%% NDio = out,
%% NDoi = out,
%% NDoo = out,
%% S1111io = out,
%% S1111ii = out,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = out,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = out,
%% Dio = out,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = in,
%% NDio = in,
%% NDoi = out,
%% NDoo = out,
%% S1111io = in,
%% S1111ii = in,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = in,
%% Dio = out,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = out,
%% NDio = in,
%% NDoi = out,
%% NDoo = out,
%% S1111io = in,
%% S1111ii = out,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = out,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = out,
%% Dio = in,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = in,
%% NDio = out,
%% NDoi = out,
%% NDoo = out,
%% S1111io = out,
%% S1111ii = in,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = in,
%% Dio = in,
%% Doi = in,
%% Doo = in,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = out,
%% NDio = out,
%% NDoi = out,
%% NDoo = out,
%% S1111io = out,
%% S1111ii = out,
%% S1111oo = in,
%% S1111oi = in ? ;
%% Cii = out,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = out,
%% Dio = out,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = in,
%% NDio = in,
%% NDoi = out,
%% NDoo = in,
%% S1111io = in,
%% S1111ii = in,
%% S1111oo = out,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = in,
%% Dio = out,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = out,
%% NDio = in,
%% NDoi = out,
%% NDoo = in,
%% S1111io = in,
%% S1111ii = out,
%% S1111oo = out,
%% S1111oi = in ? ;
%% Cii = out,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = out,
%% Dio = in,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = in,
%% NDio = out,
%% NDoi = out,
%% NDoo = in,
%% S1111io = out,
%% S1111ii = in,
%% S1111oo = out,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = out,
%% Coo = in,
%% Dii = in,
%% Dio = in,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = in,
%% NCoo = out,
%% NDii = out,
%% NDio = out,
%% NDoi = out,
%% NDoo = in,
%% S1111io = out,
%% S1111ii = out,
%% S1111oo = out,
%% S1111oi = in ? ;
%% Cii = out,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = out,
%% Dio = out,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = in,
%% NDio = in,
%% NDoi = out,
%% NDoo = in,
%% S1111io = in,
%% S1111ii = in,
%% S1111oo = out,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = in,
%% Dio = out,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = out,
%% NDio = in,
%% NDoi = out,
%% NDoo = in,
%% S1111io = in,
%% S1111ii = out,
%% S1111oo = out,
%% S1111oi = in ? ;
%% Cii = out,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = out,
%% Dio = in,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = in,
%% NDio = out,
%% NDoi = out,
%% NDoo = in,
%% S1111io = out,
%% S1111ii = in,
%% S1111oo = out,
%% S1111oi = in ? ;
%% Cii = in,
%% Cio = in,
%% Coi = in,
%% Coo = in,
%% Dii = in,
%% Dio = in,
%% Doi = in,
%% Doo = out,
%% NAi = out,
%% NAo = in,
%% NCi = out,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCio = out,
%% NCoi = out,
%% NCoo = out,
%% NDii = out,
%% NDio = out,
%% NDoi = out,
%% NDoo = in,
%% S1111io = out,
%% S1111ii = out,
%% S1111oo = out,
%% S1111oi = in ? ;
%% no

%% EaVbEcEd ((c + b) * (b =< ((c =< d) * (c + (a =:= ~d)))))
%% | ?- modele_QASP(([e(bug),e(a),e(na),a(b),e(nb),e(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(a, [([] '|->' A)]), sk(na, [([] '|->' NA)]), sk(nb, [([in] '|->' NBi), ([out] '|->' NBo)]), sk(c, [([in] '|->' Ci), ([out] '|->' Co)]), sk(nc, [([in] '|->' NCi),([out] '|->' NCo)]), sk(d, [([in] '|->' Di),([out] '|->' Do)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(nd, [([in] '|->' NDi),([out] '|->' NDo)]), sk(se, [([in] '|->' _SEi),([out] '|->' _SEo)]), sk(s0, [([in] '|->' _S0i),([out] '|->' _S0o)]), sk(s1, [([in] '|->' _S1i),([out] '|->' _S1o)]), sk(s11, [([in] '|->' _S11i),([out] '|->' _S11o)]), sk(s110, [([in] '|->' _S110i),([out] '|->' _S110o)]),sk(s111, [([in] '|->' _S111i),([out] '|->' _S111o)]),sk(s1111, [([in] '|->' S1111i),([out] '|->' S1111o)])]).
%% A = out,
%% Ci = out,
%% Co = in,
%% Di = in,
%% Do = in,
%% NA = in,
%% NBi = out,
%% NBo = in,
%% NCi = in,
%% NCo = out,
%% NDi = out,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% A = out,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = in,
%% NA = in,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% A = in,
%% Ci = out,
%% Co = in,
%% Di = out,
%% Do = out,
%% NA = out,
%% NBi = out,
%% NBo = in,
%% NCi = in,
%% NCo = out,
%% NDi = in,
%% NDo = in,
%% S1111i = in,
%% S1111o = in ? ;
%% A = in,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = out,
%% NA = out,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = in,
%% S1111i = out,
%% S1111o = in ? ;
%% A = in,
%% Ci = out,
%% Co = in,
%% Di = out,
%% Do = in,
%% NA = out,
%% NBi = out,
%% NBo = in,
%% NCi = in,
%% NCo = out,
%% NDi = in,
%% NDo = out,
%% S1111i = in,
%% S1111o = out ? ;
%% A = in,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = in,
%% NA = out,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = out,
%% S1111i = out,
%% S1111o = out ? ;
%% A = out,
%% Ci = out,
%% Co = in,
%% Di = in,
%% Do = out,
%% NA = in,
%% NBi = out,
%% NBo = in,
%% NCi = in,
%% NCo = out,
%% NDi = out,
%% NDo = in,
%% S1111i = in,
%% S1111o = out ? ;
%% A = out,
%% Ci = in,
%% Co = in,
%% Di = in,
%% Do = out,
%% NA = in,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDi = out,
%% NDo = in,
%% S1111i = in,
%% S1111o = out ? ;
%% no


%% EaEbVcEd ((c + b) * (b =< ((c =< d) * (c + (a =:= ~d)))))
%% | ?- modele_QASP(([e(bug),e(a),e(na),e(b),e(nb),a(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(a, [([] '|->' A)]), sk(na, [([] '|->' NA)]), sk(b, [([] '|->' B)]), sk(nb, [([] '|->' NB)]), sk(nc, [([in] '|->' NCi),([out] '|->' NCo)]), sk(d, [([in] '|->' Di),([out] '|->' Do)]), sk(nd, [([in] '|->' NDi),([out] '|->' NDo)]), sk(se, [([in] '|->' _SEi),([out] '|->' _SEo)]), sk(s0, [([in] '|->' _S0i),([out] '|->' _S0o)]), sk(s1, [([in] '|->' _S1i),([out] '|->' _S1o)]), sk(s11, [([in] '|->' _S11i),([out] '|->' _S11o)]), sk(s110, [([in] '|->' _S110i),([out] '|->' _S110o)]),sk(s111, [([in] '|->' _S111i),([out] '|->' _S111o)]),sk(s1111, [([in] '|->' S1111i),([out] '|->' S1111o)])]).
%% A = in,
%% B = in,
%% Di = in,
%% Do = out,
%% NA = out,
%% NB = out,
%% NCi = out,
%% NCo = in,
%% NDi = out,
%% NDo = in,
%% S1111i = out,
%% S1111o = in ? ;
%% A = out,
%% B = in,
%% Di = in,
%% Do = in,
%% NA = in,
%% NB = out,
%% NCi = out,
%% NCo = in,
%% NDi = out,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% no



%% EaEbVcEd ((c + b) * (b =< ((c =< d) * (c + (a =:= ~d)))))
%% | ?- modele_QASP(([e(bug),e(a),e(na),e(b),e(nb),a(c),e(nc), e(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(a, [([] '|->' A)]), sk(na, [([] '|->' NA)]), sk(b, [([] '|->' B)]), sk(nb, [([] '|->' NB)]), sk(nc, [([in] '|->' NCi),([out] '|->' NCo)]), sk(d, [([in] '|->' Di),([out] '|->' Do)]), sk(nd, [([in] '|->' NDi),([out] '|->' NDo)]), sk(se, [([in] '|->' _SEi),([out] '|->' _SEo)]), sk(s0, [([in] '|->' _S0i),([out] '|->' _S0o)]), sk(s1, [([in] '|->' _S1i),([out] '|->' _S1o)]), sk(s11, [([in] '|->' _S11i),([out] '|->' _S11o)]), sk(s110, [([in] '|->' _S110i),([out] '|->' _S110o)]),sk(s111, [([in] '|->' _S111i),([out] '|->' _S111o)]),sk(s1111, [([in] '|->' S1111i),([out] '|->' S1111o)])]).
%% A = in,
%% B = in,
%% Di = in,
%% Do = out,
%% NA = out,
%% NB = out,
%% NCi = out,
%% NCo = in,
%% NDi = out,
%% NDo = in,
%% S1111i = out,
%% S1111o = in ? ;
%% A = out,
%% B = in,
%% Di = in,
%% Do = in,
%% NA = in,
%% NB = out,
%% NCi = out,
%% NCo = in,
%% NDi = out,
%% NDo = out,
%% S1111i = in,
%% S1111o = in ? ;
%% no

%% EaEbEcVd ((c + b) * (b =< ((c =< d) * (c + (a =:= ~d)))))
%% | ?- modele_QASP(([e(bug),e(a),e(na),e(b),e(nb),e(c),e(nc), a(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a,nd],[]), regle(s1111,[],[a,nd]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(a, [([] '|->' A)]), sk(na, [([] '|->' NA)]), sk(b, [([] '|->' B)]), sk(nb, [([] '|->' NB)]), sk(c, [([] '|->' C)]), sk(nc, [([] '|->' NC)]), sk(nd, [([in] '|->' NDi),([out] '|->' NDo)]), sk(se, [([in] '|->' _SEi),([out] '|->' _SEo)]), sk(s0, [([in] '|->' _S0i),([out] '|->' _S0o)]), sk(s1, [([in] '|->' _S1i),([out] '|->' _S1o)]), sk(s11, [([in] '|->' _S11i),([out] '|->' _S11o)]), sk(s110, [([in] '|->' _S110i),([out] '|->' _S110o)]),sk(s111, [([in] '|->' _S111i),([out] '|->' _S111o)]),sk(s1111, [([in] '|->' S1111i),([out] '|->' S1111o)])]).
%% A = in,
%% B = out,
%% C = in,
%% NA = out,
%% NB = in,
%% NC = out,
%% NDi = out,
%% NDo = in,
%% S1111i = out,
%% S1111o = in ? ;
%% A = out,
%% B = out,
%% C = in,
%% NA = in,
%% NB = in,
%% NC = out,
%% NDi = out,
%% NDo = in,
%% S1111i = in,
%% S1111o = out ? ;
%% no


%% VaEbEcVd ((c + b) * (b =< ((c =< d) * (c + (a =:= ~d)))))
%% | ?- modele_QASP(([e(bug),a(a),e(na),e(b),e(nb),e(c),e(nc), a(d),e(nd),e(se),e(s0),e(s1),e(s11),e(s110),e(s111),e(s1111)], [regle(bug, [], [bug, se]), regle(se, [s0,s1], []), regle(s0,[c],[]), regle(s0,[b],[]), regle(s1,[],[b]), regle(s1,[s11],[]), regle(s11,[s110,s111],[]), regle(s110,[],[c]), regle(s110,[d],[]), regle(s111,[c],[]), regle(s111,[s1111],[]), regle(s1111,[a],[d]), regle(s1111,[d],[a]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(d,[],[nd]),regle(nd,[],[d])]), [sk(na, [([in] '|->' NAi), ([out] '|->' NAo)]), sk(b, [([in] '|->' Bi), ([out] '|->' Bo)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(c, [([in] '|->' Ci),([out] '|->' Co)]), sk(nc, [([in] '|->' NCi),([out] '|->' NCo)]), sk(nd, [([in,in] '|->' NDii),([in,out] '|->' NDio),([out,in] '|->' NDoi),([out,out] '|->' NDoo)]), sk(se, [([in,in] '|->' _SEii),([in,out] '|->' _SEio),([out,in] '|->' _SEoi),([out,out] '|->' _SEoo)]), sk(s0, [([in,in] '|->' _S0ii),([out,out] '|->' _S0oo),([in,out] '|->' _S0io),([out,in] '|->' _S0oi)]), sk(s1, [([in,in] '|->' _S1ii),([in,out] '|->' _S1io),([out,in] '|->' _S1oi),([out,out] '|->' _S1oo)]), sk(s11, [([in,in] '|->' _S11ii),([in,out] '|->' _S11io),([out,in] '|->' _S11oi),([out,out] '|->' _S11oo)]), sk(s110, [([in,in] '|->' _S110ii),([in,out] '|->' _S110io),([out,in] '|->' _S110oi),([out,out] '|->' _S110oo)]),sk(s111, [([in,in] '|->' _S111ii),([in,out] '|->' _S111io),([out,in] '|->' _S111oi),([out,out] '|->' _S111oo)]),sk(s1111, [([in,in] '|->' S1111ii),([in,out] '|->' S1111io),([out,in] '|->' S1111oi),([out,out] '|->' S1111oo)])]).
%% Bi = out,
%% Bo = out,
%% Ci = in,
%% Co = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% NDii = out,
%% NDio = in,
%% NDoi = out,
%% NDoo = in,
%% S1111io = in,
%% S1111ii = out,
%% S1111oo = out,
%% S1111oi = in ? ;
%% no

%% VaVbEc ((a + b) =:= c)
%% | ?- modele_QASP(([e(bug),a(a),e(na),a(b),e(nb),e(c),e(nc), e(se),e(s0)], [regle(bug, [], [bug, se]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(se, [s0,c], []), regle(se, [], [s0,c]), regle(s0,[a],[]), regle(s0,[b],[])]),[sk(na, [([in] '|->' NAi), ([out] '|->' NAo)]), sk(nb, [([in,in] '|->' NBii),([in,out] '|->' NBio),([out,in] '|->' NBoi),([out,out] '|->' NBoo)]), sk(c, [([in,in] '|->' Cii),([in,out] '|->' Cio),([out,in] '|->' Coi),([out,out] '|->' Coo)]), sk(nc, [([in,in] '|->' NCii),([in,out] '|->' NCio),([out,in] '|->' NCoi),([out,out] '|->' NCoo)]), sk(se, [([in,in] '|->' SEii),([in,out] '|->' SEio),([out,in] '|->' SEoi),([out,out] '|->' SEoo)]), sk(s0, [([in,in] '|->' S0ii),([in,out] '|->' S0io),([out,in] '|->' S0oi),([out,out] '|->' S0oo)])]).
%% Cii = in,
%% Cio = in,
%% Coi = in,
%% Coo = out,
%% NAi = out,
%% NAo = in,
%% NBii = out,
%% NBio = in,
%% NBoi = out,
%% NBoo = in,
%% NCii = out,
%% NCio = out,
%% NCoi = out,
%% NCoo = in,
%% S0ii = in,
%% S0io = in,
%% S0oi = in,
%% S0oo = out,
%% SEii = in,
%% SEio = in,
%% SEoi = in,
%% SEoo = in ? ;
%% no

%% EaVbEc ((a + b) =:= c)
%% | ?- modele_QASP(([e(non),e(a),e(na),a(b),e(nb),e(c),e(nc), e(se),e(s0)], [regle(non, [], [non, se]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(c,[],[nc]), regle(nc, [],[c]), regle(se, [s0,c], []), regle(se, [], [s0,c]), regle(s0,[a],[]), regle(s0,[b],[])]),[sk(a, [([] '|->' A)]), sk(na, [([] '|->' NA)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(c, [([in] '|->' Ci),([out] '|->' Co)]), sk(nc, [([in] '|->' NCi),([out] '|->' NCo)]), sk(se, [([in] '|->' SEi),([out] '|->' SEo)]), sk(s0, [([in] '|->' S0i),([out] '|->' S0o)])]).
%% A = in,
%% Ci = in,
%% Co = in,
%% NA = out,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = out,
%% S0i = in,
%% S0o = in,
%% SEi = in,
%% SEo = in ? ;
%% A = out,
%% Ci = in,
%% Co = out,
%% NA = in,
%% NBi = out,
%% NBo = in,
%% NCi = out,
%% NCo = in,
%% S0i = in,
%% S0o = out,
%% SEi = in,
%% SEo = in ? ;
%% no



%% VaEb (a =:= ~b)
%% | ?- modele_QASP(([e(non),a(a),e(na),e(b),e(nb), e(se)], [regle(non, [], [non, se]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(se, [a,nb], []), regle(se, [], [a,nb])]), [sk(na, [([in] '|->' NAi),([out] '|->' NAo)]), sk(b, [([in] '|->' Bi),([out] '|->' Bo)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(se, [([in] '|->' SEi),([out] '|->' SEo)])]).
%% Bi = out,
%% Bo = in,
%% NAi = out,
%% NAo = in,
%% NBi = in,
%% NBo = out,
%% SEi = in,
%% SEo = in ? ;
%% no


%% EaVb (a =:= ~b)
%% | ?- modele_QASP(([e(non),e(a),e(na),a(b),e(nb), e(se)], [regle(non, [], [non, se]), regle(b,[],[nb]), regle(nb, [],[b]), regle(a,[],[na]), regle(na, [],[a]), regle(se, [a,nb], []), regle(se, [], [a,nb])]), [sk(a, [([] '|->' A)]), sk(na, [([] '|->' NA)]), sk(nb, [([in] '|->' NBi),([out] '|->' NBo)]), sk(se, [([in] '|->' SEi),([out] '|->' SEo)])]).
%%  no



%% | ?- modele_QASP(([a(a), e(b)], [regle(b, [a], []), regle(b, [], [a])]), [sk(b, [([in] '|->' IN),([out] '|->' OUT)])]). 
%% IN = in,
%% OUT = in ? ;
%% no


%% | ?- modele_QASP(([a(a), e(b), e(c)], [regle(b, [a], []), regle(b, [], [c]), regle(c, [], [b])]), [sk(b, [([in] '|->' IN_b),([out] '|->' OUT_b)]),sk(c, [([in] '|->' IN_c),([out] '|->' OUT_c)])]).
%% IN_b = in,
%% IN_c = out,
%% OUT_b = out,
%% OUT_c = in ? ;
%% IN_b = in,
%% IN_c = out,
%% OUT_b = in,
%% OUT_c = out ? ;
%% no

%% | ?- modele_QASP(([a(x)], [regle(x, [x], [])]), []). 
%% yes

%% | ?- modele_QASP(([a(x),a(y)], [regle(x, [x], []), regle(y, [y], [])]), []). 



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%% | ?- A_1_2_oooo = in, A_2_2_oooo = out, A_3_2_oooo = out, A_4_2_oooo = out, A_1_4_oooooooo = out, A_2_4_oooooooo = in, A_3_4_oooooooo = out, A_4_4_oooooooo = out, modele_QASP(([e(aw),e(bw), a(b_1_1),a(b_2_1),a(b_3_1),a(b_4_1),e(a_1_2),e(a_2_2),e(a_3_2),e(a_4_2),a(b_1_3),a(b_2_3),a(b_3_3), a(b_4_3),e(a_1_4),e(a_2_4),e(a_3_4),e(a_4_4),e(ch)], [regle(b_1_1, [], [b_2_1, b_3_1, b_4_1, ch]),regle(b_2_1, [], [b_1_1, b_3_1, b_4_1, ch]),regle(b_3_1, [], [b_1_1, b_2_1, b_4_1, ch]),regle(b_4_1, [], [b_1_1, b_2_1, b_3_1, ch]),regle(a_1_2, [], [a_2_2, a_3_2, a_4_2, b_1_1]),regle(a_2_2, [], [a_1_2, a_3_2, a_4_2, b_2_1]),regle(a_3_2, [], [a_1_2, a_2_2, a_4_2, b_3_1]),regle(a_4_2, [], [a_1_2, a_2_2, a_3_2, b_4_1]),regle(b_1_3, [], [b_2_3, b_3_3, b_4_3, a_1_2, b_1_1, ch]),regle(b_2_3, [], [b_1_3, b_3_3, b_4_3, a_2_2, b_2_1, ch]),regle(b_3_3, [], [b_1_3, b_2_3, b_4_3, a_3_2, b_3_1, ch]),regle(b_4_3, [], [b_1_3, b_2_3, b_3_3, a_4_2, b_4_1, ch]),regle(a_1_4, [], [a_2_4, a_3_4, a_4_4, b_1_3, a_1_2, b_1_1]),regle(a_2_4, [], [a_1_4, a_3_4, a_4_4, b_2_3, a_2_2, b_2_1]),regle(a_3_4, [], [a_1_4, a_2_4, a_4_4, b_3_3, a_3_2, b_3_1]),regle(a_4_4, [], [a_1_4, a_2_4, a_3_4, b_4_3, a_4_2, b_4_1]),regle(ch, [b_1_1, b_2_1], []),regle(ch, [b_1_1, b_3_1], []),regle(ch, [b_1_1, b_4_1], []),regle(ch, [b_2_1, b_3_1], []),regle(ch, [b_2_1, b_4_1], []),regle(ch, [b_3_1, b_4_1], []),regle(ch, [b_1_3, b_2_3], []),regle(ch, [b_1_3, b_3_3], []),regle(ch, [b_1_3, b_4_3], []),regle(ch, [b_2_3, b_3_3], []),regle(ch, [b_2_3, b_4_3], []),regle(ch, [b_3_3, b_4_3], []),regle(ch, [b_1_1, b_1_3], []),regle(ch, [b_2_1, b_2_3], []),regle(ch, [b_3_1, b_3_3], []),regle(ch, [b_4_1, b_4_3], []),regle(ch, [a_1_2, b_1_3], []),regle(ch, [a_2_2, b_2_3], []),regle(ch, [a_3_2, b_3_3], []),regle(ch, [a_4_2, b_4_3], []),regle(ch, [], [b_1_1, b_2_1, b_3_1, b_4_1]),regle(ch, [], [b_1_3, b_2_3, b_3_3, b_4_3]),regle(aw, [a_1_2, a_2_4], []), regle(aw, [a_1_4, a_2_2], []),regle(aw, [a_3_2, a_4_4], []), regle(aw, [a_3_4, a_4_2], []),regle(aw, [a_1_2, a_3_4], []),regle(aw, [a_1_4, a_3_2], []),regle(aw, [a_2_2, a_4_4], []),regle(aw, [a_2_4, a_4_2], []),regle(bw, [], [aw,bw]),regle(aw, [ch],[])]),[sk(aw, [([] '|->' in)]), sk(bw, [([] '|->' out)]), sk(a_1_2, [([in,in,in,in] '|->' A_1_2_iiii),([in,in,in,out] '|->' A_1_2_iiio),([in,in,out,in] '|->' A_1_2_iioi),([in,in,out,out] '|->' A_1_2_iioo), ([in,out,in,in] '|->' A_1_2_ioii),([in,out,in,out] '|->' A_1_2_ioio),([in,out,out,in] '|->' A_1_2_iooi),([in,out,out,out] '|->' A_1_2_iooo), ([out,in,in,in] '|->' A_1_2_oiii),([out,in,in,out] '|->' A_1_2_oiio),([out,in,out,in] '|->' A_1_2_oioi),([out,in,out,out] '|->' A_1_2_oioo), ([out,out,in,in] '|->' A_1_2_ooii),([out,out,in,out] '|->' A_1_2_ooio),([out,out,out,in] '|->' A_1_2_oooi),([out,out,out,out] '|->' A_1_2_oooo)]),sk(a_2_2, [([in,in,in,in] '|->' A_2_2_iiii),([in,in,in,out] '|->' A_2_2_iiio),([in,in,out,in] '|->' A_2_2_iioi),([in,in,out,out] '|->' A_2_2_iioo), ([in,out,in,in] '|->' A_2_2_ioii),([in,out,in,out] '|->' A_2_2_ioio),([in,out,out,in] '|->' A_2_2_iooi),([in,out,out,out] '|->' A_2_2_iooo), ([out,in,in,in] '|->' A_2_2_oiii),([out,in,in,out] '|->' A_2_2_oiio),([out,in,out,in] '|->' A_2_2_oioi),([out,in,out,out] '|->' A_2_2_oioo), ([out,out,in,in] '|->' A_2_2_ooii),([out,out,in,out] '|->' A_2_2_ooio),([out,out,out,in] '|->' A_2_2_oooi),([out,out,out,out] '|->' A_2_2_oooo)]),sk(a_3_2, [([in,in,in,in] '|->' A_3_2_iiii),([in,in,in,out] '|->' A_3_2_iiio),([in,in,out,in] '|->' A_3_2_iioi),([in,in,out,out] '|->' A_3_2_iioo), ([in,out,in,in] '|->' A_3_2_ioii),([in,out,in,out] '|->' A_3_2_ioio),([in,out,out,in] '|->' A_3_2_iooi),([in,out,out,out] '|->' A_3_2_iooo), ([out,in,in,in] '|->' A_3_2_oiii),([out,in,in,out] '|->' A_3_2_oiio),([out,in,out,in] '|->' A_3_2_oioi),([out,in,out,out] '|->' A_3_2_oioo), ([out,out,in,in] '|->' A_3_2_ooii),([out,out,in,out] '|->' A_3_2_ooio),([out,out,out,in] '|->' A_3_2_oooi),([out,out,out,out] '|->' A_3_2_oooo)]),sk(a_4_2, [([in,in,in,in] '|->' A_4_2_iiii),([in,in,in,out] '|->' A_4_2_iiio),([in,in,out,in] '|->' A_4_2_iioi),([in,in,out,out] '|->' A_4_2_iioo), ([in,out,in,in] '|->' A_4_2_ioii),([in,out,in,out] '|->' A_4_2_ioio),([in,out,out,in] '|->' A_4_2_iooi),([in,out,out,out] '|->' A_4_2_iooo), ([out,in,in,in] '|->' A_4_2_oiii),([out,in,in,out] '|->' A_4_2_oiio),([out,in,out,in] '|->' A_4_2_oioi),([out,in,out,out] '|->' A_4_2_oioo), ([out,out,in,in] '|->' A_4_2_ooii),([out,out,in,out] '|->' A_4_2_ooio),([out,out,out,in] '|->' A_4_2_oooi),([out,out,out,out] '|->' A_4_2_oooo)]), sk(ch, [([in,in,in,in,in,in,in,in] '|->' Ch_iiiiiiii),([in,in,in,in,in,in,in,out] '|->' Ch_iiiiiiio),([in,in,in,in,in,in,out,in] '|->' Ch_iiiiiioi),([in,in,in,in,in,in,out,out] '|->' Ch_iiiiiioo), ([in,in,in,in,in,out,in,in] '|->' Ch_iiiiioii),([in,in,in,in,in,out,in,out] '|->' Ch_iiiiioio),([in,in,in,in,in,out,out,in] '|->' Ch_iiiiiooi),([in,in,in,in,in,out,out,out] '|->' Ch_iiiiiooo), ([in,in,in,in,out,in,in,in] '|->' Ch_iiiioiii),([in,in,in,in,out,in,in,out] '|->' Ch_iiiioiio),([in,in,in,in,out,in,out,in] '|->' Ch_iiiioioi),([in,in,in,in,out,in,out,out] '|->' Ch_iiiioioo), ([in,in,in,in,out,out,in,in] '|->' Ch_iiiiooii),([in,in,in,in,out,out,in,out] '|->' Ch_iiiiooio),([in,in,in,in,out,out,out,in] '|->' Ch_iiiioooi),([in,in,in,in,out,out,out,out] '|->' Ch_iiiioooo),([in,in,in,out,in,in,in,in] '|->' Ch_iiioiiii),([in,in,in,out,in,in,in,out] '|->' Ch_iiioiiio),([in,in,in,out,in,in,out,in] '|->' Ch_iiioiioi),([in,in,in,out,in,in,out,out] '|->' Ch_iiioiioo), ([in,in,in,out,in,out,in,in] '|->' Ch_iiioioii),([in,in,in,out,in,out,in,out] '|->' Ch_iiioioio),([in,in,in,out,in,out,out,in] '|->' Ch_iiioiooi),([in,in,in,out,in,out,out,out] '|->' Ch_iiioiooo), ([in,in,in,out,out,in,in,in] '|->' Ch_iiiooiii),([in,in,in,out,out,in,in,out] '|->' Ch_iiiooiio),([in,in,in,out,out,in,out,in] '|->' Ch_iiiooioi),([in,in,in,out,out,in,out,out] '|->' Ch_iiiooioo), ([in,in,in,out,out,out,in,in] '|->' Ch_iiioooii),([in,in,in,out,out,out,in,out] '|->' Ch_iiioooio),([in,in,in,out,out,out,out,in] '|->' Ch_iiiooooi),([in,in,in,out,out,out,out,out] '|->' Ch_iiiooooo),([in,in,out,in,in,in,in,in] '|->' Ch_iioiiiii),([in,in,out,in,in,in,in,out] '|->' Ch_iioiiiio),([in,in,out,in,in,in,out,in] '|->' Ch_iioiiioi),([in,in,out,in,in,in,out,out] '|->' Ch_iioiiioo), ([in,in,out,in,in,out,in,in] '|->' Ch_iioiioii),([in,in,out,in,in,out,in,out] '|->' Ch_iioiioio),([in,in,out,in,in,out,out,in] '|->' Ch_iioiiooi),([in,in,out,in,in,out,out,out] '|->' Ch_iioiiooo), ([in,in,out,in,out,in,in,in] '|->' Ch_iioioiii),([in,in,out,in,out,in,in,out] '|->' Ch_iioioiio),([in,in,out,in,out,in,out,in] '|->' Ch_iioioioi),([in,in,out,in,out,in,out,out] '|->' Ch_iioioioo), ([in,in,out,in,out,out,in,in] '|->' Ch_iioiooii),([in,in,out,in,out,out,in,out] '|->' Ch_iioiooio),([in,in,out,in,out,out,out,in] '|->' Ch_iioioooi),([in,in,out,in,out,out,out,out] '|->' Ch_iioioooo),([in,in,out,out,in,in,in,in] '|->' Ch_iiooiiii),([in,in,out,out,in,in,in,out] '|->' Ch_iiooiiio),([in,in,out,out,in,in,out,in] '|->' Ch_iiooiioi),([in,in,out,out,in,in,out,out] '|->' Ch_iiooiioo), ([in,in,out,out,in,out,in,in] '|->' Ch_iiooioii),([in,in,out,out,in,out,in,out] '|->' Ch_iiooioio),([in,in,out,out,in,out,out,in] '|->' Ch_iiooiooi),([in,in,out,out,in,out,out,out] '|->' Ch_iiooiooo), ([in,in,out,out,out,in,in,in] '|->' Ch_iioooiii),([in,in,out,out,out,in,in,out] '|->' Ch_iioooiio),([in,in,out,out,out,in,out,in] '|->' Ch_iioooioi),([in,in,out,out,out,in,out,out] '|->' Ch_iioooioo), ([in,in,out,out,out,out,in,in] '|->' Ch_iiooooii),([in,in,out,out,out,out,in,out] '|->' Ch_iiooooio),([in,in,out,out,out,out,out,in] '|->' Ch_iioooooi),([in,in,out,out,out,out,out,out] '|->' Ch_iioooooo),([in,out,in,in,in,in,in,in] '|->' Ch_ioiiiiii),([in,out,in,in,in,in,in,out] '|->' Ch_ioiiiiio),([in,out,in,in,in,in,out,in] '|->' Ch_ioiiiioi),([in,out,in,in,in,in,out,out] '|->' Ch_ioiiiioo), ([in,out,in,in,in,out,in,in] '|->' Ch_ioiiioii),([in,out,in,in,in,out,in,out] '|->' Ch_ioiiioio),([in,out,in,in,in,out,out,in] '|->' Ch_ioiiiooi),([in,out,in,in,in,out,out,out] '|->' Ch_ioiiiooo), ([in,out,in,in,out,in,in,in] '|->' Ch_ioiioiii),([in,out,in,in,out,in,in,out] '|->' Ch_ioiioiio),([in,out,in,in,out,in,out,in] '|->' Ch_ioiioioi),([in,out,in,in,out,in,out,out] '|->' Ch_ioiioioo), ([in,out,in,in,out,out,in,in] '|->' Ch_ioiiooii),([in,out,in,in,out,out,in,out] '|->' Ch_ioiiooio),([in,out,in,in,out,out,out,in] '|->' Ch_ioiioooi),([in,out,in,in,out,out,out,out] '|->' Ch_ioiioooo),([in,out,in,out,in,in,in,in] '|->' Ch_ioioiiii),([in,out,in,out,in,in,in,out] '|->' Ch_ioioiiio),([in,out,in,out,in,in,out,in] '|->' Ch_ioioiioi),([in,out,in,out,in,in,out,out] '|->' Ch_ioioiioo), ([in,out,in,out,in,out,in,in] '|->' Ch_ioioioii),([in,out,in,out,in,out,in,out] '|->' Ch_ioioioio),([in,out,in,out,in,out,out,in] '|->' Ch_ioioiooi),([in,out,in,out,in,out,out,out] '|->' Ch_ioioiooo), ([in,out,in,out,out,in,in,in] '|->' Ch_ioiooiii),([in,out,in,out,out,in,in,out] '|->' Ch_ioiooiio),([in,out,in,out,out,in,out,in] '|->' Ch_ioiooioi),([in,out,in,out,out,in,out,out] '|->' Ch_ioiooioo), ([in,out,in,out,out,out,in,in] '|->' Ch_ioioooii),([in,out,in,out,out,out,in,out] '|->' Ch_ioioooio),([in,out,in,out,out,out,out,in] '|->' Ch_ioiooooi),([in,out,in,out,out,out,out,out] '|->' Ch_ioiooooo),([in,out,out,in,in,in,in,in] '|->' Ch_iooiiiii),([in,out,out,in,in,in,in,out] '|->' Ch_iooiiiio),([in,out,out,in,in,in,out,in] '|->' Ch_iooiiioi),([in,out,out,in,in,in,out,out] '|->' Ch_iooiiioo), ([in,out,out,in,in,out,in,in] '|->' Ch_iooiioii),([in,out,out,in,in,out,in,out] '|->' Ch_iooiioio),([in,out,out,in,in,out,out,in] '|->' Ch_iooiiooi),([in,out,out,in,in,out,out,out] '|->' Ch_iooiiooo), ([in,out,out,in,out,in,in,in] '|->' Ch_iooioiii),([in,out,out,in,out,in,in,out] '|->' Ch_iooioiio),([in,out,out,in,out,in,out,in] '|->' Ch_iooioioi),([in,out,out,in,out,in,out,out] '|->' Ch_iooioioo), ([in,out,out,in,out,out,in,in] '|->' Ch_iooiooii),([in,out,out,in,out,out,in,out] '|->' Ch_iooiooio),([in,out,out,in,out,out,out,in] '|->' Ch_iooioooi),([in,out,out,in,out,out,out,out] '|->' Ch_iooioooo),([in,out,out,out,in,in,in,in] '|->' Ch_ioooiiii),([in,out,out,out,in,in,in,out] '|->' Ch_ioooiiio),([in,out,out,out,in,in,out,in] '|->' Ch_ioooiioi),([in,out,out,out,in,in,out,out] '|->' Ch_ioooiioo), ([in,out,out,out,in,out,in,in] '|->' Ch_ioooioii),([in,out,out,out,in,out,in,out] '|->' Ch_ioooioio),([in,out,out,out,in,out,out,in] '|->' Ch_ioooiooi),([in,out,out,out,in,out,out,out] '|->' Ch_ioooiooo), ([in,out,out,out,out,in,in,in] '|->' Ch_iooooiii),([in,out,out,out,out,in,in,out] '|->' Ch_iooooiio),([in,out,out,out,out,in,out,in] '|->' Ch_iooooioi),([in,out,out,out,out,in,out,out] '|->' Ch_iooooioo), ([in,out,out,out,out,out,in,in] '|->' Ch_ioooooii),([in,out,out,out,out,out,in,out] '|->' Ch_ioooooio),([in,out,out,out,out,out,out,in] '|->' Ch_iooooooi),([in,out,out,out,out,out,out,out] '|->' Ch_iooooooo),([out,in,in,in,in,in,in,in] '|->' Ch_oiiiiiii),([out,in,in,in,in,in,in,out] '|->' Ch_oiiiiiio),([out,in,in,in,in,in,out,in] '|->' Ch_oiiiiioi),([out,in,in,in,in,in,out,out] '|->' Ch_oiiiiioo), ([out,in,in,in,in,out,in,in] '|->' Ch_oiiiioii),([out,in,in,in,in,out,in,out] '|->' Ch_oiiiioio),([out,in,in,in,in,out,out,in] '|->' Ch_oiiiiooi),([out,in,in,in,in,out,out,out] '|->' Ch_oiiiiooo), ([out,in,in,in,out,in,in,in] '|->' Ch_oiiioiii),([out,in,in,in,out,in,in,out] '|->' Ch_oiiioiio),([out,in,in,in,out,in,out,in] '|->' Ch_oiiioioi),([out,in,in,in,out,in,out,out] '|->' Ch_oiiioioo), ([out,in,in,in,out,out,in,in] '|->' Ch_oiiiooii),([out,in,in,in,out,out,in,out] '|->' Ch_oiiiooio),([out,in,in,in,out,out,out,in] '|->' Ch_oiiioooi),([out,in,in,in,out,out,out,out] '|->' Ch_oiiioooo),([out,in,in,out,in,in,in,in] '|->' Ch_oiioiiii),([out,in,in,out,in,in,in,out] '|->' Ch_oiioiiio),([out,in,in,out,in,in,out,in] '|->' Ch_oiioiioi),([out,in,in,out,in,in,out,out] '|->' Ch_oiioiioo), ([out,in,in,out,in,out,in,in] '|->' Ch_oiioioii),([out,in,in,out,in,out,in,out] '|->' Ch_oiioioio),([out,in,in,out,in,out,out,in] '|->' Ch_oiioiooi),([out,in,in,out,in,out,out,out] '|->' Ch_oiioiooo), ([out,in,in,out,out,in,in,in] '|->' Ch_oiiooiii),([out,in,in,out,out,in,in,out] '|->' Ch_oiiooiio),([out,in,in,out,out,in,out,in] '|->' Ch_oiiooioi),([out,in,in,out,out,in,out,out] '|->' Ch_oiiooioo), ([out,in,in,out,out,out,in,in] '|->' Ch_oiioooii),([out,in,in,out,out,out,in,out] '|->' Ch_oiioooio),([out,in,in,out,out,out,out,in] '|->' Ch_oiiooooi),([out,in,in,out,out,out,out,out] '|->' Ch_oiiooooo),([out,in,out,in,in,in,in,in] '|->' Ch_oioiiiii),([out,in,out,in,in,in,in,out] '|->' Ch_oioiiiio),([out,in,out,in,in,in,out,in] '|->' Ch_oioiiioi),([out,in,out,in,in,in,out,out] '|->' Ch_oioiiioo), ([out,in,out,in,in,out,in,in] '|->' Ch_oioiioii),([out,in,out,in,in,out,in,out] '|->' Ch_oioiioio),([out,in,out,in,in,out,out,in] '|->' Ch_oioiiooi),([out,in,out,in,in,out,out,out] '|->' Ch_oioiiooo), ([out,in,out,in,out,in,in,in] '|->' Ch_oioioiii),([out,in,out,in,out,in,in,out] '|->' Ch_oioioiio),([out,in,out,in,out,in,out,in] '|->' Ch_oioioioi),([out,in,out,in,out,in,out,out] '|->' Ch_oioioioo), ([out,in,out,in,out,out,in,in] '|->' Ch_oioiooii),([out,in,out,in,out,out,in,out] '|->' Ch_oioiooio),([out,in,out,in,out,out,out,in] '|->' Ch_oioioooi),([out,in,out,in,out,out,out,out] '|->' Ch_oioioooo),([out,in,out,out,in,in,in,in] '|->' Ch_oiooiiii),([out,in,out,out,in,in,in,out] '|->' Ch_oiooiiio),([out,in,out,out,in,in,out,in] '|->' Ch_oiooiioi),([out,in,out,out,in,in,out,out] '|->' Ch_oiooiioo), ([out,in,out,out,in,out,in,in] '|->' Ch_oiooioii),([out,in,out,out,in,out,in,out] '|->' Ch_oiooioio),([out,in,out,out,in,out,out,in] '|->' Ch_oiooiooi),([out,in,out,out,in,out,out,out] '|->' Ch_oiooiooo), ([out,in,out,out,out,in,in,in] '|->' Ch_oioooiii),([out,in,out,out,out,in,in,out] '|->' Ch_oioooiio),([out,in,out,out,out,in,out,in] '|->' Ch_oioooioi),([out,in,out,out,out,in,out,out] '|->' Ch_oioooioo), ([out,in,out,out,out,out,in,in] '|->' Ch_oiooooii),([out,in,out,out,out,out,in,out] '|->' Ch_oiooooio),([out,in,out,out,out,out,out,in] '|->' Ch_oioooooi),([out,in,out,out,out,out,out,out] '|->' Ch_oioooooo),([out,out,in,in,in,in,in,in] '|->' Ch_ooiiiiii),([out,out,in,in,in,in,in,out] '|->' Ch_ooiiiiio),([out,out,in,in,in,in,out,in] '|->' Ch_ooiiiioi),([out,out,in,in,in,in,out,out] '|->' Ch_ooiiiioo), ([out,out,in,in,in,out,in,in] '|->' Ch_ooiiioii),([out,out,in,in,in,out,in,out] '|->' Ch_ooiiioio),([out,out,in,in,in,out,out,in] '|->' Ch_ooiiiooi),([out,out,in,in,in,out,out,out] '|->' Ch_ooiiiooo), ([out,out,in,in,out,in,in,in] '|->' Ch_ooiioiii),([out,out,in,in,out,in,in,out] '|->' Ch_ooiioiio),([out,out,in,in,out,in,out,in] '|->' Ch_ooiioioi),([out,out,in,in,out,in,out,out] '|->' Ch_ooiioioo), ([out,out,in,in,out,out,in,in] '|->' Ch_ooiiooii),([out,out,in,in,out,out,in,out] '|->' Ch_ooiiooio),([out,out,in,in,out,out,out,in] '|->' Ch_ooiioooi),([out,out,in,in,out,out,out,out] '|->' Ch_ooiioooo),([out,out,in,out,in,in,in,in] '|->' Ch_ooioiiii),([out,out,in,out,in,in,in,out] '|->' Ch_ooioiiio),([out,out,in,out,in,in,out,in] '|->' Ch_ooioiioi),([out,out,in,out,in,in,out,out] '|->' Ch_ooioiioo), ([out,out,in,out,in,out,in,in] '|->' Ch_ooioioii),([out,out,in,out,in,out,in,out] '|->' Ch_ooioioio),([out,out,in,out,in,out,out,in] '|->' Ch_ooioiooi),([out,out,in,out,in,out,out,out] '|->' Ch_ooioiooo), ([out,out,in,out,out,in,in,in] '|->' Ch_ooiooiii),([out,out,in,out,out,in,in,out] '|->' Ch_ooiooiio),([out,out,in,out,out,in,out,in] '|->' Ch_ooiooioi),([out,out,in,out,out,in,out,out] '|->' Ch_ooiooioo), ([out,out,in,out,out,out,in,in] '|->' Ch_ooioooii),([out,out,in,out,out,out,in,out] '|->' Ch_ooioooio),([out,out,in,out,out,out,out,in] '|->' Ch_ooiooooi),([out,out,in,out,out,out,out,out] '|->' Ch_ooiooooo),([out,out,out,in,in,in,in,in] '|->' Ch_oooiiiii),([out,out,out,in,in,in,in,out] '|->' Ch_oooiiiio),([out,out,out,in,in,in,out,in] '|->' Ch_oooiiioi),([out,out,out,in,in,in,out,out] '|->' Ch_oooiiioo), ([out,out,out,in,in,out,in,in] '|->' Ch_oooiioii),([out,out,out,in,in,out,in,out] '|->' Ch_oooiioio),([out,out,out,in,in,out,out,in] '|->' Ch_oooiiooi),([out,out,out,in,in,out,out,out] '|->' Ch_oooiiooo), ([out,out,out,in,out,in,in,in] '|->' Ch_oooioiii),([out,out,out,in,out,in,in,out] '|->' Ch_oooioiio),([out,out,out,in,out,in,out,in] '|->' Ch_oooioioi),([out,out,out,in,out,in,out,out] '|->' Ch_oooioioo), ([out,out,out,in,out,out,in,in] '|->' Ch_oooiooii),([out,out,out,in,out,out,in,out] '|->' Ch_oooiooio),([out,out,out,in,out,out,out,in] '|->' Ch_oooioooi),([out,out,out,in,out,out,out,out] '|->' Ch_oooioooo),([out,out,out,out,in,in,in,in] '|->' Ch_ooooiiii),([out,out,out,out,in,in,in,out] '|->' Ch_ooooiiio),([out,out,out,out,in,in,out,in] '|->' Ch_ooooiioi),([out,out,out,out,in,in,out,out] '|->' Ch_ooooiioo), ([out,out,out,out,in,out,in,in] '|->' Ch_ooooioii),([out,out,out,out,in,out,in,out] '|->' Ch_ooooioio),([out,out,out,out,in,out,out,in] '|->' Ch_ooooiooi),([out,out,out,out,in,out,out,out] '|->' Ch_ooooiooo), ([out,out,out,out,out,in,in,in] '|->' Ch_oooooiii),([out,out,out,out,out,in,in,out] '|->' Ch_oooooiio),([out,out,out,out,out,in,out,in] '|->' Ch_oooooioi),([out,out,out,out,out,in,out,out] '|->' Ch_oooooioo), ([out,out,out,out,out,out,in,in] '|->' Ch_ooooooii),([out,out,out,out,out,out,in,out] '|->' Ch_ooooooio),([out,out,out,out,out,out,out,in] '|->' Ch_oooooooi),([out,out,out,out,out,out,out,out] '|->' Ch_oooooooo)]), sk(a_1_4, [([in,in,in,in,in,in,in,in] '|->' A_1_4_iiiiiiii),([in,in,in,in,in,in,in,out] '|->' A_1_4_iiiiiiio),([in,in,in,in,in,in,out,in] '|->' A_1_4_iiiiiioi),([in,in,in,in,in,in,out,out] '|->' A_1_4_iiiiiioo), ([in,in,in,in,in,out,in,in] '|->' A_1_4_iiiiioii),([in,in,in,in,in,out,in,out] '|->' A_1_4_iiiiioio),([in,in,in,in,in,out,out,in] '|->' A_1_4_iiiiiooi),([in,in,in,in,in,out,out,out] '|->' A_1_4_iiiiiooo), ([in,in,in,in,out,in,in,in] '|->' A_1_4_iiiioiii),([in,in,in,in,out,in,in,out] '|->' A_1_4_iiiioiio),([in,in,in,in,out,in,out,in] '|->' A_1_4_iiiioioi),([in,in,in,in,out,in,out,out] '|->' A_1_4_iiiioioo), ([in,in,in,in,out,out,in,in] '|->' A_1_4_iiiiooii),([in,in,in,in,out,out,in,out] '|->' A_1_4_iiiiooio),([in,in,in,in,out,out,out,in] '|->' A_1_4_iiiioooi),([in,in,in,in,out,out,out,out] '|->' A_1_4_iiiioooo),([in,in,in,out,in,in,in,in] '|->' A_1_4_iiioiiii),([in,in,in,out,in,in,in,out] '|->' A_1_4_iiioiiio),([in,in,in,out,in,in,out,in] '|->' A_1_4_iiioiioi),([in,in,in,out,in,in,out,out] '|->' A_1_4_iiioiioo), ([in,in,in,out,in,out,in,in] '|->' A_1_4_iiioioii),([in,in,in,out,in,out,in,out] '|->' A_1_4_iiioioio),([in,in,in,out,in,out,out,in] '|->' A_1_4_iiioiooi),([in,in,in,out,in,out,out,out] '|->' A_1_4_iiioiooo), ([in,in,in,out,out,in,in,in] '|->' A_1_4_iiiooiii),([in,in,in,out,out,in,in,out] '|->' A_1_4_iiiooiio),([in,in,in,out,out,in,out,in] '|->' A_1_4_iiiooioi),([in,in,in,out,out,in,out,out] '|->' A_1_4_iiiooioo), ([in,in,in,out,out,out,in,in] '|->' A_1_4_iiioooii),([in,in,in,out,out,out,in,out] '|->' A_1_4_iiioooio),([in,in,in,out,out,out,out,in] '|->' A_1_4_iiiooooi),([in,in,in,out,out,out,out,out] '|->' A_1_4_iiiooooo),([in,in,out,in,in,in,in,in] '|->' A_1_4_iioiiiii),([in,in,out,in,in,in,in,out] '|->' A_1_4_iioiiiio),([in,in,out,in,in,in,out,in] '|->' A_1_4_iioiiioi),([in,in,out,in,in,in,out,out] '|->' A_1_4_iioiiioo), ([in,in,out,in,in,out,in,in] '|->' A_1_4_iioiioii),([in,in,out,in,in,out,in,out] '|->' A_1_4_iioiioio),([in,in,out,in,in,out,out,in] '|->' A_1_4_iioiiooi),([in,in,out,in,in,out,out,out] '|->' A_1_4_iioiiooo), ([in,in,out,in,out,in,in,in] '|->' A_1_4_iioioiii),([in,in,out,in,out,in,in,out] '|->' A_1_4_iioioiio),([in,in,out,in,out,in,out,in] '|->' A_1_4_iioioioi),([in,in,out,in,out,in,out,out] '|->' A_1_4_iioioioo), ([in,in,out,in,out,out,in,in] '|->' A_1_4_iioiooii),([in,in,out,in,out,out,in,out] '|->' A_1_4_iioiooio),([in,in,out,in,out,out,out,in] '|->' A_1_4_iioioooi),([in,in,out,in,out,out,out,out] '|->' A_1_4_iioioooo),([in,in,out,out,in,in,in,in] '|->' A_1_4_iiooiiii),([in,in,out,out,in,in,in,out] '|->' A_1_4_iiooiiio),([in,in,out,out,in,in,out,in] '|->' A_1_4_iiooiioi),([in,in,out,out,in,in,out,out] '|->' A_1_4_iiooiioo), ([in,in,out,out,in,out,in,in] '|->' A_1_4_iiooioii),([in,in,out,out,in,out,in,out] '|->' A_1_4_iiooioio),([in,in,out,out,in,out,out,in] '|->' A_1_4_iiooiooi),([in,in,out,out,in,out,out,out] '|->' A_1_4_iiooiooo), ([in,in,out,out,out,in,in,in] '|->' A_1_4_iioooiii),([in,in,out,out,out,in,in,out] '|->' A_1_4_iioooiio),([in,in,out,out,out,in,out,in] '|->' A_1_4_iioooioi),([in,in,out,out,out,in,out,out] '|->' A_1_4_iioooioo), ([in,in,out,out,out,out,in,in] '|->' A_1_4_iiooooii),([in,in,out,out,out,out,in,out] '|->' A_1_4_iiooooio),([in,in,out,out,out,out,out,in] '|->' A_1_4_iioooooi),([in,in,out,out,out,out,out,out] '|->' A_1_4_iioooooo),([in,out,in,in,in,in,in,in] '|->' A_1_4_ioiiiiii),([in,out,in,in,in,in,in,out] '|->' A_1_4_ioiiiiio),([in,out,in,in,in,in,out,in] '|->' A_1_4_ioiiiioi),([in,out,in,in,in,in,out,out] '|->' A_1_4_ioiiiioo), ([in,out,in,in,in,out,in,in] '|->' A_1_4_ioiiioii),([in,out,in,in,in,out,in,out] '|->' A_1_4_ioiiioio),([in,out,in,in,in,out,out,in] '|->' A_1_4_ioiiiooi),([in,out,in,in,in,out,out,out] '|->' A_1_4_ioiiiooo), ([in,out,in,in,out,in,in,in] '|->' A_1_4_ioiioiii),([in,out,in,in,out,in,in,out] '|->' A_1_4_ioiioiio),([in,out,in,in,out,in,out,in] '|->' A_1_4_ioiioioi),([in,out,in,in,out,in,out,out] '|->' A_1_4_ioiioioo), ([in,out,in,in,out,out,in,in] '|->' A_1_4_ioiiooii),([in,out,in,in,out,out,in,out] '|->' A_1_4_ioiiooio),([in,out,in,in,out,out,out,in] '|->' A_1_4_ioiioooi),([in,out,in,in,out,out,out,out] '|->' A_1_4_ioiioooo),([in,out,in,out,in,in,in,in] '|->' A_1_4_ioioiiii),([in,out,in,out,in,in,in,out] '|->' A_1_4_ioioiiio),([in,out,in,out,in,in,out,in] '|->' A_1_4_ioioiioi),([in,out,in,out,in,in,out,out] '|->' A_1_4_ioioiioo), ([in,out,in,out,in,out,in,in] '|->' A_1_4_ioioioii),([in,out,in,out,in,out,in,out] '|->' A_1_4_ioioioio),([in,out,in,out,in,out,out,in] '|->' A_1_4_ioioiooi),([in,out,in,out,in,out,out,out] '|->' A_1_4_ioioiooo), ([in,out,in,out,out,in,in,in] '|->' A_1_4_ioiooiii),([in,out,in,out,out,in,in,out] '|->' A_1_4_ioiooiio),([in,out,in,out,out,in,out,in] '|->' A_1_4_ioiooioi),([in,out,in,out,out,in,out,out] '|->' A_1_4_ioiooioo), ([in,out,in,out,out,out,in,in] '|->' A_1_4_ioioooii),([in,out,in,out,out,out,in,out] '|->' A_1_4_ioioooio),([in,out,in,out,out,out,out,in] '|->' A_1_4_ioiooooi),([in,out,in,out,out,out,out,out] '|->' A_1_4_ioiooooo),([in,out,out,in,in,in,in,in] '|->' A_1_4_iooiiiii),([in,out,out,in,in,in,in,out] '|->' A_1_4_iooiiiio),([in,out,out,in,in,in,out,in] '|->' A_1_4_iooiiioi),([in,out,out,in,in,in,out,out] '|->' A_1_4_iooiiioo), ([in,out,out,in,in,out,in,in] '|->' A_1_4_iooiioii),([in,out,out,in,in,out,in,out] '|->' A_1_4_iooiioio),([in,out,out,in,in,out,out,in] '|->' A_1_4_iooiiooi),([in,out,out,in,in,out,out,out] '|->' A_1_4_iooiiooo), ([in,out,out,in,out,in,in,in] '|->' A_1_4_iooioiii),([in,out,out,in,out,in,in,out] '|->' A_1_4_iooioiio),([in,out,out,in,out,in,out,in] '|->' A_1_4_iooioioi),([in,out,out,in,out,in,out,out] '|->' A_1_4_iooioioo), ([in,out,out,in,out,out,in,in] '|->' A_1_4_iooiooii),([in,out,out,in,out,out,in,out] '|->' A_1_4_iooiooio),([in,out,out,in,out,out,out,in] '|->' A_1_4_iooioooi),([in,out,out,in,out,out,out,out] '|->' A_1_4_iooioooo),([in,out,out,out,in,in,in,in] '|->' A_1_4_ioooiiii),([in,out,out,out,in,in,in,out] '|->' A_1_4_ioooiiio),([in,out,out,out,in,in,out,in] '|->' A_1_4_ioooiioi),([in,out,out,out,in,in,out,out] '|->' A_1_4_ioooiioo), ([in,out,out,out,in,out,in,in] '|->' A_1_4_ioooioii),([in,out,out,out,in,out,in,out] '|->' A_1_4_ioooioio),([in,out,out,out,in,out,out,in] '|->' A_1_4_ioooiooi),([in,out,out,out,in,out,out,out] '|->' A_1_4_ioooiooo), ([in,out,out,out,out,in,in,in] '|->' A_1_4_iooooiii),([in,out,out,out,out,in,in,out] '|->' A_1_4_iooooiio),([in,out,out,out,out,in,out,in] '|->' A_1_4_iooooioi),([in,out,out,out,out,in,out,out] '|->' A_1_4_iooooioo), ([in,out,out,out,out,out,in,in] '|->' A_1_4_ioooooii),([in,out,out,out,out,out,in,out] '|->' A_1_4_ioooooio),([in,out,out,out,out,out,out,in] '|->' A_1_4_iooooooi),([in,out,out,out,out,out,out,out] '|->' A_1_4_iooooooo),([out,in,in,in,in,in,in,in] '|->' A_1_4_oiiiiiii),([out,in,in,in,in,in,in,out] '|->' A_1_4_oiiiiiio),([out,in,in,in,in,in,out,in] '|->' A_1_4_oiiiiioi),([out,in,in,in,in,in,out,out] '|->' A_1_4_oiiiiioo), ([out,in,in,in,in,out,in,in] '|->' A_1_4_oiiiioii),([out,in,in,in,in,out,in,out] '|->' A_1_4_oiiiioio),([out,in,in,in,in,out,out,in] '|->' A_1_4_oiiiiooi),([out,in,in,in,in,out,out,out] '|->' A_1_4_oiiiiooo), ([out,in,in,in,out,in,in,in] '|->' A_1_4_oiiioiii),([out,in,in,in,out,in,in,out] '|->' A_1_4_oiiioiio),([out,in,in,in,out,in,out,in] '|->' A_1_4_oiiioioi),([out,in,in,in,out,in,out,out] '|->' A_1_4_oiiioioo), ([out,in,in,in,out,out,in,in] '|->' A_1_4_oiiiooii),([out,in,in,in,out,out,in,out] '|->' A_1_4_oiiiooio),([out,in,in,in,out,out,out,in] '|->' A_1_4_oiiioooi),([out,in,in,in,out,out,out,out] '|->' A_1_4_oiiioooo),([out,in,in,out,in,in,in,in] '|->' A_1_4_oiioiiii),([out,in,in,out,in,in,in,out] '|->' A_1_4_oiioiiio),([out,in,in,out,in,in,out,in] '|->' A_1_4_oiioiioi),([out,in,in,out,in,in,out,out] '|->' A_1_4_oiioiioo), ([out,in,in,out,in,out,in,in] '|->' A_1_4_oiioioii),([out,in,in,out,in,out,in,out] '|->' A_1_4_oiioioio),([out,in,in,out,in,out,out,in] '|->' A_1_4_oiioiooi),([out,in,in,out,in,out,out,out] '|->' A_1_4_oiioiooo), ([out,in,in,out,out,in,in,in] '|->' A_1_4_oiiooiii),([out,in,in,out,out,in,in,out] '|->' A_1_4_oiiooiio),([out,in,in,out,out,in,out,in] '|->' A_1_4_oiiooioi),([out,in,in,out,out,in,out,out] '|->' A_1_4_oiiooioo), ([out,in,in,out,out,out,in,in] '|->' A_1_4_oiioooii),([out,in,in,out,out,out,in,out] '|->' A_1_4_oiioooio),([out,in,in,out,out,out,out,in] '|->' A_1_4_oiiooooi),([out,in,in,out,out,out,out,out] '|->' A_1_4_oiiooooo),([out,in,out,in,in,in,in,in] '|->' A_1_4_oioiiiii),([out,in,out,in,in,in,in,out] '|->' A_1_4_oioiiiio),([out,in,out,in,in,in,out,in] '|->' A_1_4_oioiiioi),([out,in,out,in,in,in,out,out] '|->' A_1_4_oioiiioo), ([out,in,out,in,in,out,in,in] '|->' A_1_4_oioiioii),([out,in,out,in,in,out,in,out] '|->' A_1_4_oioiioio),([out,in,out,in,in,out,out,in] '|->' A_1_4_oioiiooi),([out,in,out,in,in,out,out,out] '|->' A_1_4_oioiiooo), ([out,in,out,in,out,in,in,in] '|->' A_1_4_oioioiii),([out,in,out,in,out,in,in,out] '|->' A_1_4_oioioiio),([out,in,out,in,out,in,out,in] '|->' A_1_4_oioioioi),([out,in,out,in,out,in,out,out] '|->' A_1_4_oioioioo), ([out,in,out,in,out,out,in,in] '|->' A_1_4_oioiooii),([out,in,out,in,out,out,in,out] '|->' A_1_4_oioiooio),([out,in,out,in,out,out,out,in] '|->' A_1_4_oioioooi),([out,in,out,in,out,out,out,out] '|->' A_1_4_oioioooo),([out,in,out,out,in,in,in,in] '|->' A_1_4_oiooiiii),([out,in,out,out,in,in,in,out] '|->' A_1_4_oiooiiio),([out,in,out,out,in,in,out,in] '|->' A_1_4_oiooiioi),([out,in,out,out,in,in,out,out] '|->' A_1_4_oiooiioo), ([out,in,out,out,in,out,in,in] '|->' A_1_4_oiooioii),([out,in,out,out,in,out,in,out] '|->' A_1_4_oiooioio),([out,in,out,out,in,out,out,in] '|->' A_1_4_oiooiooi),([out,in,out,out,in,out,out,out] '|->' A_1_4_oiooiooo), ([out,in,out,out,out,in,in,in] '|->' A_1_4_oioooiii),([out,in,out,out,out,in,in,out] '|->' A_1_4_oioooiio),([out,in,out,out,out,in,out,in] '|->' A_1_4_oioooioi),([out,in,out,out,out,in,out,out] '|->' A_1_4_oioooioo), ([out,in,out,out,out,out,in,in] '|->' A_1_4_oiooooii),([out,in,out,out,out,out,in,out] '|->' A_1_4_oiooooio),([out,in,out,out,out,out,out,in] '|->' A_1_4_oioooooi),([out,in,out,out,out,out,out,out] '|->' A_1_4_oioooooo),([out,out,in,in,in,in,in,in] '|->' A_1_4_ooiiiiii),([out,out,in,in,in,in,in,out] '|->' A_1_4_ooiiiiio),([out,out,in,in,in,in,out,in] '|->' A_1_4_ooiiiioi),([out,out,in,in,in,in,out,out] '|->' A_1_4_ooiiiioo), ([out,out,in,in,in,out,in,in] '|->' A_1_4_ooiiioii),([out,out,in,in,in,out,in,out] '|->' A_1_4_ooiiioio),([out,out,in,in,in,out,out,in] '|->' A_1_4_ooiiiooi),([out,out,in,in,in,out,out,out] '|->' A_1_4_ooiiiooo), ([out,out,in,in,out,in,in,in] '|->' A_1_4_ooiioiii),([out,out,in,in,out,in,in,out] '|->' A_1_4_ooiioiio),([out,out,in,in,out,in,out,in] '|->' A_1_4_ooiioioi),([out,out,in,in,out,in,out,out] '|->' A_1_4_ooiioioo), ([out,out,in,in,out,out,in,in] '|->' A_1_4_ooiiooii),([out,out,in,in,out,out,in,out] '|->' A_1_4_ooiiooio),([out,out,in,in,out,out,out,in] '|->' A_1_4_ooiioooi),([out,out,in,in,out,out,out,out] '|->' A_1_4_ooiioooo),([out,out,in,out,in,in,in,in] '|->' A_1_4_ooioiiii),([out,out,in,out,in,in,in,out] '|->' A_1_4_ooioiiio),([out,out,in,out,in,in,out,in] '|->' A_1_4_ooioiioi),([out,out,in,out,in,in,out,out] '|->' A_1_4_ooioiioo), ([out,out,in,out,in,out,in,in] '|->' A_1_4_ooioioii),([out,out,in,out,in,out,in,out] '|->' A_1_4_ooioioio),([out,out,in,out,in,out,out,in] '|->' A_1_4_ooioiooi),([out,out,in,out,in,out,out,out] '|->' A_1_4_ooioiooo), ([out,out,in,out,out,in,in,in] '|->' A_1_4_ooiooiii),([out,out,in,out,out,in,in,out] '|->' A_1_4_ooiooiio),([out,out,in,out,out,in,out,in] '|->' A_1_4_ooiooioi),([out,out,in,out,out,in,out,out] '|->' A_1_4_ooiooioo), ([out,out,in,out,out,out,in,in] '|->' A_1_4_ooioooii),([out,out,in,out,out,out,in,out] '|->' A_1_4_ooioooio),([out,out,in,out,out,out,out,in] '|->' A_1_4_ooiooooi),([out,out,in,out,out,out,out,out] '|->' A_1_4_ooiooooo),([out,out,out,in,in,in,in,in] '|->' A_1_4_oooiiiii),([out,out,out,in,in,in,in,out] '|->' A_1_4_oooiiiio),([out,out,out,in,in,in,out,in] '|->' A_1_4_oooiiioi),([out,out,out,in,in,in,out,out] '|->' A_1_4_oooiiioo), ([out,out,out,in,in,out,in,in] '|->' A_1_4_oooiioii),([out,out,out,in,in,out,in,out] '|->' A_1_4_oooiioio),([out,out,out,in,in,out,out,in] '|->' A_1_4_oooiiooi),([out,out,out,in,in,out,out,out] '|->' A_1_4_oooiiooo), ([out,out,out,in,out,in,in,in] '|->' A_1_4_oooioiii),([out,out,out,in,out,in,in,out] '|->' A_1_4_oooioiio),([out,out,out,in,out,in,out,in] '|->' A_1_4_oooioioi),([out,out,out,in,out,in,out,out] '|->' A_1_4_oooioioo), ([out,out,out,in,out,out,in,in] '|->' A_1_4_oooiooii),([out,out,out,in,out,out,in,out] '|->' A_1_4_oooiooio),([out,out,out,in,out,out,out,in] '|->' A_1_4_oooioooi),([out,out,out,in,out,out,out,out] '|->' A_1_4_oooioooo),([out,out,out,out,in,in,in,in] '|->' A_1_4_ooooiiii),([out,out,out,out,in,in,in,out] '|->' A_1_4_ooooiiio),([out,out,out,out,in,in,out,in] '|->' A_1_4_ooooiioi),([out,out,out,out,in,in,out,out] '|->' A_1_4_ooooiioo), ([out,out,out,out,in,out,in,in] '|->' A_1_4_ooooioii),([out,out,out,out,in,out,in,out] '|->' A_1_4_ooooioio),([out,out,out,out,in,out,out,in] '|->' A_1_4_ooooiooi),([out,out,out,out,in,out,out,out] '|->' A_1_4_ooooiooo), ([out,out,out,out,out,in,in,in] '|->' A_1_4_oooooiii),([out,out,out,out,out,in,in,out] '|->' A_1_4_oooooiio),([out,out,out,out,out,in,out,in] '|->' A_1_4_oooooioi),([out,out,out,out,out,in,out,out] '|->' A_1_4_oooooioo), ([out,out,out,out,out,out,in,in] '|->' A_1_4_ooooooii),([out,out,out,out,out,out,in,out] '|->' A_1_4_ooooooio),([out,out,out,out,out,out,out,in] '|->' A_1_4_oooooooi),([out,out,out,out,out,out,out,out] '|->' A_1_4_oooooooo)]), sk(a_2_4, [([in,in,in,in,in,in,in,in] '|->' A_2_4_iiiiiiii),([in,in,in,in,in,in,in,out] '|->' A_2_4_iiiiiiio),([in,in,in,in,in,in,out,in] '|->' A_2_4_iiiiiioi),([in,in,in,in,in,in,out,out] '|->' A_2_4_iiiiiioo), ([in,in,in,in,in,out,in,in] '|->' A_2_4_iiiiioii),([in,in,in,in,in,out,in,out] '|->' A_2_4_iiiiioio),([in,in,in,in,in,out,out,in] '|->' A_2_4_iiiiiooi),([in,in,in,in,in,out,out,out] '|->' A_2_4_iiiiiooo), ([in,in,in,in,out,in,in,in] '|->' A_2_4_iiiioiii),([in,in,in,in,out,in,in,out] '|->' A_2_4_iiiioiio),([in,in,in,in,out,in,out,in] '|->' A_2_4_iiiioioi),([in,in,in,in,out,in,out,out] '|->' A_2_4_iiiioioo), ([in,in,in,in,out,out,in,in] '|->' A_2_4_iiiiooii),([in,in,in,in,out,out,in,out] '|->' A_2_4_iiiiooio),([in,in,in,in,out,out,out,in] '|->' A_2_4_iiiioooi),([in,in,in,in,out,out,out,out] '|->' A_2_4_iiiioooo),([in,in,in,out,in,in,in,in] '|->' A_2_4_iiioiiii),([in,in,in,out,in,in,in,out] '|->' A_2_4_iiioiiio),([in,in,in,out,in,in,out,in] '|->' A_2_4_iiioiioi),([in,in,in,out,in,in,out,out] '|->' A_2_4_iiioiioo), ([in,in,in,out,in,out,in,in] '|->' A_2_4_iiioioii),([in,in,in,out,in,out,in,out] '|->' A_2_4_iiioioio),([in,in,in,out,in,out,out,in] '|->' A_2_4_iiioiooi),([in,in,in,out,in,out,out,out] '|->' A_2_4_iiioiooo), ([in,in,in,out,out,in,in,in] '|->' A_2_4_iiiooiii),([in,in,in,out,out,in,in,out] '|->' A_2_4_iiiooiio),([in,in,in,out,out,in,out,in] '|->' A_2_4_iiiooioi),([in,in,in,out,out,in,out,out] '|->' A_2_4_iiiooioo), ([in,in,in,out,out,out,in,in] '|->' A_2_4_iiioooii),([in,in,in,out,out,out,in,out] '|->' A_2_4_iiioooio),([in,in,in,out,out,out,out,in] '|->' A_2_4_iiiooooi),([in,in,in,out,out,out,out,out] '|->' A_2_4_iiiooooo),([in,in,out,in,in,in,in,in] '|->' A_2_4_iioiiiii),([in,in,out,in,in,in,in,out] '|->' A_2_4_iioiiiio),([in,in,out,in,in,in,out,in] '|->' A_2_4_iioiiioi),([in,in,out,in,in,in,out,out] '|->' A_2_4_iioiiioo), ([in,in,out,in,in,out,in,in] '|->' A_2_4_iioiioii),([in,in,out,in,in,out,in,out] '|->' A_2_4_iioiioio),([in,in,out,in,in,out,out,in] '|->' A_2_4_iioiiooi),([in,in,out,in,in,out,out,out] '|->' A_2_4_iioiiooo), ([in,in,out,in,out,in,in,in] '|->' A_2_4_iioioiii),([in,in,out,in,out,in,in,out] '|->' A_2_4_iioioiio),([in,in,out,in,out,in,out,in] '|->' A_2_4_iioioioi),([in,in,out,in,out,in,out,out] '|->' A_2_4_iioioioo), ([in,in,out,in,out,out,in,in] '|->' A_2_4_iioiooii),([in,in,out,in,out,out,in,out] '|->' A_2_4_iioiooio),([in,in,out,in,out,out,out,in] '|->' A_2_4_iioioooi),([in,in,out,in,out,out,out,out] '|->' A_2_4_iioioooo),([in,in,out,out,in,in,in,in] '|->' A_2_4_iiooiiii),([in,in,out,out,in,in,in,out] '|->' A_2_4_iiooiiio),([in,in,out,out,in,in,out,in] '|->' A_2_4_iiooiioi),([in,in,out,out,in,in,out,out] '|->' A_2_4_iiooiioo), ([in,in,out,out,in,out,in,in] '|->' A_2_4_iiooioii),([in,in,out,out,in,out,in,out] '|->' A_2_4_iiooioio),([in,in,out,out,in,out,out,in] '|->' A_2_4_iiooiooi),([in,in,out,out,in,out,out,out] '|->' A_2_4_iiooiooo), ([in,in,out,out,out,in,in,in] '|->' A_2_4_iioooiii),([in,in,out,out,out,in,in,out] '|->' A_2_4_iioooiio),([in,in,out,out,out,in,out,in] '|->' A_2_4_iioooioi),([in,in,out,out,out,in,out,out] '|->' A_2_4_iioooioo), ([in,in,out,out,out,out,in,in] '|->' A_2_4_iiooooii),([in,in,out,out,out,out,in,out] '|->' A_2_4_iiooooio),([in,in,out,out,out,out,out,in] '|->' A_2_4_iioooooi),([in,in,out,out,out,out,out,out] '|->' A_2_4_iioooooo),([in,out,in,in,in,in,in,in] '|->' A_2_4_ioiiiiii),([in,out,in,in,in,in,in,out] '|->' A_2_4_ioiiiiio),([in,out,in,in,in,in,out,in] '|->' A_2_4_ioiiiioi),([in,out,in,in,in,in,out,out] '|->' A_2_4_ioiiiioo), ([in,out,in,in,in,out,in,in] '|->' A_2_4_ioiiioii),([in,out,in,in,in,out,in,out] '|->' A_2_4_ioiiioio),([in,out,in,in,in,out,out,in] '|->' A_2_4_ioiiiooi),([in,out,in,in,in,out,out,out] '|->' A_2_4_ioiiiooo), ([in,out,in,in,out,in,in,in] '|->' A_2_4_ioiioiii),([in,out,in,in,out,in,in,out] '|->' A_2_4_ioiioiio),([in,out,in,in,out,in,out,in] '|->' A_2_4_ioiioioi),([in,out,in,in,out,in,out,out] '|->' A_2_4_ioiioioo), ([in,out,in,in,out,out,in,in] '|->' A_2_4_ioiiooii),([in,out,in,in,out,out,in,out] '|->' A_2_4_ioiiooio),([in,out,in,in,out,out,out,in] '|->' A_2_4_ioiioooi),([in,out,in,in,out,out,out,out] '|->' A_2_4_ioiioooo),([in,out,in,out,in,in,in,in] '|->' A_2_4_ioioiiii),([in,out,in,out,in,in,in,out] '|->' A_2_4_ioioiiio),([in,out,in,out,in,in,out,in] '|->' A_2_4_ioioiioi),([in,out,in,out,in,in,out,out] '|->' A_2_4_ioioiioo), ([in,out,in,out,in,out,in,in] '|->' A_2_4_ioioioii),([in,out,in,out,in,out,in,out] '|->' A_2_4_ioioioio),([in,out,in,out,in,out,out,in] '|->' A_2_4_ioioiooi),([in,out,in,out,in,out,out,out] '|->' A_2_4_ioioiooo), ([in,out,in,out,out,in,in,in] '|->' A_2_4_ioiooiii),([in,out,in,out,out,in,in,out] '|->' A_2_4_ioiooiio),([in,out,in,out,out,in,out,in] '|->' A_2_4_ioiooioi),([in,out,in,out,out,in,out,out] '|->' A_2_4_ioiooioo), ([in,out,in,out,out,out,in,in] '|->' A_2_4_ioioooii),([in,out,in,out,out,out,in,out] '|->' A_2_4_ioioooio),([in,out,in,out,out,out,out,in] '|->' A_2_4_ioiooooi),([in,out,in,out,out,out,out,out] '|->' A_2_4_ioiooooo),([in,out,out,in,in,in,in,in] '|->' A_2_4_iooiiiii),([in,out,out,in,in,in,in,out] '|->' A_2_4_iooiiiio),([in,out,out,in,in,in,out,in] '|->' A_2_4_iooiiioi),([in,out,out,in,in,in,out,out] '|->' A_2_4_iooiiioo), ([in,out,out,in,in,out,in,in] '|->' A_2_4_iooiioii),([in,out,out,in,in,out,in,out] '|->' A_2_4_iooiioio),([in,out,out,in,in,out,out,in] '|->' A_2_4_iooiiooi),([in,out,out,in,in,out,out,out] '|->' A_2_4_iooiiooo), ([in,out,out,in,out,in,in,in] '|->' A_2_4_iooioiii),([in,out,out,in,out,in,in,out] '|->' A_2_4_iooioiio),([in,out,out,in,out,in,out,in] '|->' A_2_4_iooioioi),([in,out,out,in,out,in,out,out] '|->' A_2_4_iooioioo), ([in,out,out,in,out,out,in,in] '|->' A_2_4_iooiooii),([in,out,out,in,out,out,in,out] '|->' A_2_4_iooiooio),([in,out,out,in,out,out,out,in] '|->' A_2_4_iooioooi),([in,out,out,in,out,out,out,out] '|->' A_2_4_iooioooo),([in,out,out,out,in,in,in,in] '|->' A_2_4_ioooiiii),([in,out,out,out,in,in,in,out] '|->' A_2_4_ioooiiio),([in,out,out,out,in,in,out,in] '|->' A_2_4_ioooiioi),([in,out,out,out,in,in,out,out] '|->' A_2_4_ioooiioo), ([in,out,out,out,in,out,in,in] '|->' A_2_4_ioooioii),([in,out,out,out,in,out,in,out] '|->' A_2_4_ioooioio),([in,out,out,out,in,out,out,in] '|->' A_2_4_ioooiooi),([in,out,out,out,in,out,out,out] '|->' A_2_4_ioooiooo), ([in,out,out,out,out,in,in,in] '|->' A_2_4_iooooiii),([in,out,out,out,out,in,in,out] '|->' A_2_4_iooooiio),([in,out,out,out,out,in,out,in] '|->' A_2_4_iooooioi),([in,out,out,out,out,in,out,out] '|->' A_2_4_iooooioo), ([in,out,out,out,out,out,in,in] '|->' A_2_4_ioooooii),([in,out,out,out,out,out,in,out] '|->' A_2_4_ioooooio),([in,out,out,out,out,out,out,in] '|->' A_2_4_iooooooi),([in,out,out,out,out,out,out,out] '|->' A_2_4_iooooooo),([out,in,in,in,in,in,in,in] '|->' A_2_4_oiiiiiii),([out,in,in,in,in,in,in,out] '|->' A_2_4_oiiiiiio),([out,in,in,in,in,in,out,in] '|->' A_2_4_oiiiiioi),([out,in,in,in,in,in,out,out] '|->' A_2_4_oiiiiioo), ([out,in,in,in,in,out,in,in] '|->' A_2_4_oiiiioii),([out,in,in,in,in,out,in,out] '|->' A_2_4_oiiiioio),([out,in,in,in,in,out,out,in] '|->' A_2_4_oiiiiooi),([out,in,in,in,in,out,out,out] '|->' A_2_4_oiiiiooo), ([out,in,in,in,out,in,in,in] '|->' A_2_4_oiiioiii),([out,in,in,in,out,in,in,out] '|->' A_2_4_oiiioiio),([out,in,in,in,out,in,out,in] '|->' A_2_4_oiiioioi),([out,in,in,in,out,in,out,out] '|->' A_2_4_oiiioioo), ([out,in,in,in,out,out,in,in] '|->' A_2_4_oiiiooii),([out,in,in,in,out,out,in,out] '|->' A_2_4_oiiiooio),([out,in,in,in,out,out,out,in] '|->' A_2_4_oiiioooi),([out,in,in,in,out,out,out,out] '|->' A_2_4_oiiioooo),([out,in,in,out,in,in,in,in] '|->' A_2_4_oiioiiii),([out,in,in,out,in,in,in,out] '|->' A_2_4_oiioiiio),([out,in,in,out,in,in,out,in] '|->' A_2_4_oiioiioi),([out,in,in,out,in,in,out,out] '|->' A_2_4_oiioiioo), ([out,in,in,out,in,out,in,in] '|->' A_2_4_oiioioii),([out,in,in,out,in,out,in,out] '|->' A_2_4_oiioioio),([out,in,in,out,in,out,out,in] '|->' A_2_4_oiioiooi),([out,in,in,out,in,out,out,out] '|->' A_2_4_oiioiooo), ([out,in,in,out,out,in,in,in] '|->' A_2_4_oiiooiii),([out,in,in,out,out,in,in,out] '|->' A_2_4_oiiooiio),([out,in,in,out,out,in,out,in] '|->' A_2_4_oiiooioi),([out,in,in,out,out,in,out,out] '|->' A_2_4_oiiooioo), ([out,in,in,out,out,out,in,in] '|->' A_2_4_oiioooii),([out,in,in,out,out,out,in,out] '|->' A_2_4_oiioooio),([out,in,in,out,out,out,out,in] '|->' A_2_4_oiiooooi),([out,in,in,out,out,out,out,out] '|->' A_2_4_oiiooooo),([out,in,out,in,in,in,in,in] '|->' A_2_4_oioiiiii),([out,in,out,in,in,in,in,out] '|->' A_2_4_oioiiiio),([out,in,out,in,in,in,out,in] '|->' A_2_4_oioiiioi),([out,in,out,in,in,in,out,out] '|->' A_2_4_oioiiioo), ([out,in,out,in,in,out,in,in] '|->' A_2_4_oioiioii),([out,in,out,in,in,out,in,out] '|->' A_2_4_oioiioio),([out,in,out,in,in,out,out,in] '|->' A_2_4_oioiiooi),([out,in,out,in,in,out,out,out] '|->' A_2_4_oioiiooo), ([out,in,out,in,out,in,in,in] '|->' A_2_4_oioioiii),([out,in,out,in,out,in,in,out] '|->' A_2_4_oioioiio),([out,in,out,in,out,in,out,in] '|->' A_2_4_oioioioi),([out,in,out,in,out,in,out,out] '|->' A_2_4_oioioioo), ([out,in,out,in,out,out,in,in] '|->' A_2_4_oioiooii),([out,in,out,in,out,out,in,out] '|->' A_2_4_oioiooio),([out,in,out,in,out,out,out,in] '|->' A_2_4_oioioooi),([out,in,out,in,out,out,out,out] '|->' A_2_4_oioioooo),([out,in,out,out,in,in,in,in] '|->' A_2_4_oiooiiii),([out,in,out,out,in,in,in,out] '|->' A_2_4_oiooiiio),([out,in,out,out,in,in,out,in] '|->' A_2_4_oiooiioi),([out,in,out,out,in,in,out,out] '|->' A_2_4_oiooiioo), ([out,in,out,out,in,out,in,in] '|->' A_2_4_oiooioii),([out,in,out,out,in,out,in,out] '|->' A_2_4_oiooioio),([out,in,out,out,in,out,out,in] '|->' A_2_4_oiooiooi),([out,in,out,out,in,out,out,out] '|->' A_2_4_oiooiooo), ([out,in,out,out,out,in,in,in] '|->' A_2_4_oioooiii),([out,in,out,out,out,in,in,out] '|->' A_2_4_oioooiio),([out,in,out,out,out,in,out,in] '|->' A_2_4_oioooioi),([out,in,out,out,out,in,out,out] '|->' A_2_4_oioooioo), ([out,in,out,out,out,out,in,in] '|->' A_2_4_oiooooii),([out,in,out,out,out,out,in,out] '|->' A_2_4_oiooooio),([out,in,out,out,out,out,out,in] '|->' A_2_4_oioooooi),([out,in,out,out,out,out,out,out] '|->' A_2_4_oioooooo),([out,out,in,in,in,in,in,in] '|->' A_2_4_ooiiiiii),([out,out,in,in,in,in,in,out] '|->' A_2_4_ooiiiiio),([out,out,in,in,in,in,out,in] '|->' A_2_4_ooiiiioi),([out,out,in,in,in,in,out,out] '|->' A_2_4_ooiiiioo), ([out,out,in,in,in,out,in,in] '|->' A_2_4_ooiiioii),([out,out,in,in,in,out,in,out] '|->' A_2_4_ooiiioio),([out,out,in,in,in,out,out,in] '|->' A_2_4_ooiiiooi),([out,out,in,in,in,out,out,out] '|->' A_2_4_ooiiiooo), ([out,out,in,in,out,in,in,in] '|->' A_2_4_ooiioiii),([out,out,in,in,out,in,in,out] '|->' A_2_4_ooiioiio),([out,out,in,in,out,in,out,in] '|->' A_2_4_ooiioioi),([out,out,in,in,out,in,out,out] '|->' A_2_4_ooiioioo), ([out,out,in,in,out,out,in,in] '|->' A_2_4_ooiiooii),([out,out,in,in,out,out,in,out] '|->' A_2_4_ooiiooio),([out,out,in,in,out,out,out,in] '|->' A_2_4_ooiioooi),([out,out,in,in,out,out,out,out] '|->' A_2_4_ooiioooo),([out,out,in,out,in,in,in,in] '|->' A_2_4_ooioiiii),([out,out,in,out,in,in,in,out] '|->' A_2_4_ooioiiio),([out,out,in,out,in,in,out,in] '|->' A_2_4_ooioiioi),([out,out,in,out,in,in,out,out] '|->' A_2_4_ooioiioo), ([out,out,in,out,in,out,in,in] '|->' A_2_4_ooioioii),([out,out,in,out,in,out,in,out] '|->' A_2_4_ooioioio),([out,out,in,out,in,out,out,in] '|->' A_2_4_ooioiooi),([out,out,in,out,in,out,out,out] '|->' A_2_4_ooioiooo), ([out,out,in,out,out,in,in,in] '|->' A_2_4_ooiooiii),([out,out,in,out,out,in,in,out] '|->' A_2_4_ooiooiio),([out,out,in,out,out,in,out,in] '|->' A_2_4_ooiooioi),([out,out,in,out,out,in,out,out] '|->' A_2_4_ooiooioo), ([out,out,in,out,out,out,in,in] '|->' A_2_4_ooioooii),([out,out,in,out,out,out,in,out] '|->' A_2_4_ooioooio),([out,out,in,out,out,out,out,in] '|->' A_2_4_ooiooooi),([out,out,in,out,out,out,out,out] '|->' A_2_4_ooiooooo),([out,out,out,in,in,in,in,in] '|->' A_2_4_oooiiiii),([out,out,out,in,in,in,in,out] '|->' A_2_4_oooiiiio),([out,out,out,in,in,in,out,in] '|->' A_2_4_oooiiioi),([out,out,out,in,in,in,out,out] '|->' A_2_4_oooiiioo), ([out,out,out,in,in,out,in,in] '|->' A_2_4_oooiioii),([out,out,out,in,in,out,in,out] '|->' A_2_4_oooiioio),([out,out,out,in,in,out,out,in] '|->' A_2_4_oooiiooi),([out,out,out,in,in,out,out,out] '|->' A_2_4_oooiiooo), ([out,out,out,in,out,in,in,in] '|->' A_2_4_oooioiii),([out,out,out,in,out,in,in,out] '|->' A_2_4_oooioiio),([out,out,out,in,out,in,out,in] '|->' A_2_4_oooioioi),([out,out,out,in,out,in,out,out] '|->' A_2_4_oooioioo), ([out,out,out,in,out,out,in,in] '|->' A_2_4_oooiooii),([out,out,out,in,out,out,in,out] '|->' A_2_4_oooiooio),([out,out,out,in,out,out,out,in] '|->' A_2_4_oooioooi),([out,out,out,in,out,out,out,out] '|->' A_2_4_oooioooo),([out,out,out,out,in,in,in,in] '|->' A_2_4_ooooiiii),([out,out,out,out,in,in,in,out] '|->' A_2_4_ooooiiio),([out,out,out,out,in,in,out,in] '|->' A_2_4_ooooiioi),([out,out,out,out,in,in,out,out] '|->' A_2_4_ooooiioo), ([out,out,out,out,in,out,in,in] '|->' A_2_4_ooooioii),([out,out,out,out,in,out,in,out] '|->' A_2_4_ooooioio),([out,out,out,out,in,out,out,in] '|->' A_2_4_ooooiooi),([out,out,out,out,in,out,out,out] '|->' A_2_4_ooooiooo), ([out,out,out,out,out,in,in,in] '|->' A_2_4_oooooiii),([out,out,out,out,out,in,in,out] '|->' A_2_4_oooooiio),([out,out,out,out,out,in,out,in] '|->' A_2_4_oooooioi),([out,out,out,out,out,in,out,out] '|->' A_2_4_oooooioo), ([out,out,out,out,out,out,in,in] '|->' A_2_4_ooooooii),([out,out,out,out,out,out,in,out] '|->' A_2_4_ooooooio),([out,out,out,out,out,out,out,in] '|->' A_2_4_oooooooi),([out,out,out,out,out,out,out,out] '|->' A_2_4_oooooooo)]), sk(a_3_4, [([in,in,in,in,in,in,in,in] '|->' A_3_4_iiiiiiii),([in,in,in,in,in,in,in,out] '|->' A_3_4_iiiiiiio),([in,in,in,in,in,in,out,in] '|->' A_3_4_iiiiiioi),([in,in,in,in,in,in,out,out] '|->' A_3_4_iiiiiioo), ([in,in,in,in,in,out,in,in] '|->' A_3_4_iiiiioii),([in,in,in,in,in,out,in,out] '|->' A_3_4_iiiiioio),([in,in,in,in,in,out,out,in] '|->' A_3_4_iiiiiooi),([in,in,in,in,in,out,out,out] '|->' A_3_4_iiiiiooo), ([in,in,in,in,out,in,in,in] '|->' A_3_4_iiiioiii),([in,in,in,in,out,in,in,out] '|->' A_3_4_iiiioiio),([in,in,in,in,out,in,out,in] '|->' A_3_4_iiiioioi),([in,in,in,in,out,in,out,out] '|->' A_3_4_iiiioioo), ([in,in,in,in,out,out,in,in] '|->' A_3_4_iiiiooii),([in,in,in,in,out,out,in,out] '|->' A_3_4_iiiiooio),([in,in,in,in,out,out,out,in] '|->' A_3_4_iiiioooi),([in,in,in,in,out,out,out,out] '|->' A_3_4_iiiioooo),([in,in,in,out,in,in,in,in] '|->' A_3_4_iiioiiii),([in,in,in,out,in,in,in,out] '|->' A_3_4_iiioiiio),([in,in,in,out,in,in,out,in] '|->' A_3_4_iiioiioi),([in,in,in,out,in,in,out,out] '|->' A_3_4_iiioiioo), ([in,in,in,out,in,out,in,in] '|->' A_3_4_iiioioii),([in,in,in,out,in,out,in,out] '|->' A_3_4_iiioioio),([in,in,in,out,in,out,out,in] '|->' A_3_4_iiioiooi),([in,in,in,out,in,out,out,out] '|->' A_3_4_iiioiooo), ([in,in,in,out,out,in,in,in] '|->' A_3_4_iiiooiii),([in,in,in,out,out,in,in,out] '|->' A_3_4_iiiooiio),([in,in,in,out,out,in,out,in] '|->' A_3_4_iiiooioi),([in,in,in,out,out,in,out,out] '|->' A_3_4_iiiooioo), ([in,in,in,out,out,out,in,in] '|->' A_3_4_iiioooii),([in,in,in,out,out,out,in,out] '|->' A_3_4_iiioooio),([in,in,in,out,out,out,out,in] '|->' A_3_4_iiiooooi),([in,in,in,out,out,out,out,out] '|->' A_3_4_iiiooooo),([in,in,out,in,in,in,in,in] '|->' A_3_4_iioiiiii),([in,in,out,in,in,in,in,out] '|->' A_3_4_iioiiiio),([in,in,out,in,in,in,out,in] '|->' A_3_4_iioiiioi),([in,in,out,in,in,in,out,out] '|->' A_3_4_iioiiioo), ([in,in,out,in,in,out,in,in] '|->' A_3_4_iioiioii),([in,in,out,in,in,out,in,out] '|->' A_3_4_iioiioio),([in,in,out,in,in,out,out,in] '|->' A_3_4_iioiiooi),([in,in,out,in,in,out,out,out] '|->' A_3_4_iioiiooo), ([in,in,out,in,out,in,in,in] '|->' A_3_4_iioioiii),([in,in,out,in,out,in,in,out] '|->' A_3_4_iioioiio),([in,in,out,in,out,in,out,in] '|->' A_3_4_iioioioi),([in,in,out,in,out,in,out,out] '|->' A_3_4_iioioioo), ([in,in,out,in,out,out,in,in] '|->' A_3_4_iioiooii),([in,in,out,in,out,out,in,out] '|->' A_3_4_iioiooio),([in,in,out,in,out,out,out,in] '|->' A_3_4_iioioooi),([in,in,out,in,out,out,out,out] '|->' A_3_4_iioioooo),([in,in,out,out,in,in,in,in] '|->' A_3_4_iiooiiii),([in,in,out,out,in,in,in,out] '|->' A_3_4_iiooiiio),([in,in,out,out,in,in,out,in] '|->' A_3_4_iiooiioi),([in,in,out,out,in,in,out,out] '|->' A_3_4_iiooiioo), ([in,in,out,out,in,out,in,in] '|->' A_3_4_iiooioii),([in,in,out,out,in,out,in,out] '|->' A_3_4_iiooioio),([in,in,out,out,in,out,out,in] '|->' A_3_4_iiooiooi),([in,in,out,out,in,out,out,out] '|->' A_3_4_iiooiooo), ([in,in,out,out,out,in,in,in] '|->' A_3_4_iioooiii),([in,in,out,out,out,in,in,out] '|->' A_3_4_iioooiio),([in,in,out,out,out,in,out,in] '|->' A_3_4_iioooioi),([in,in,out,out,out,in,out,out] '|->' A_3_4_iioooioo), ([in,in,out,out,out,out,in,in] '|->' A_3_4_iiooooii),([in,in,out,out,out,out,in,out] '|->' A_3_4_iiooooio),([in,in,out,out,out,out,out,in] '|->' A_3_4_iioooooi),([in,in,out,out,out,out,out,out] '|->' A_3_4_iioooooo),([in,out,in,in,in,in,in,in] '|->' A_3_4_ioiiiiii),([in,out,in,in,in,in,in,out] '|->' A_3_4_ioiiiiio),([in,out,in,in,in,in,out,in] '|->' A_3_4_ioiiiioi),([in,out,in,in,in,in,out,out] '|->' A_3_4_ioiiiioo), ([in,out,in,in,in,out,in,in] '|->' A_3_4_ioiiioii),([in,out,in,in,in,out,in,out] '|->' A_3_4_ioiiioio),([in,out,in,in,in,out,out,in] '|->' A_3_4_ioiiiooi),([in,out,in,in,in,out,out,out] '|->' A_3_4_ioiiiooo), ([in,out,in,in,out,in,in,in] '|->' A_3_4_ioiioiii),([in,out,in,in,out,in,in,out] '|->' A_3_4_ioiioiio),([in,out,in,in,out,in,out,in] '|->' A_3_4_ioiioioi),([in,out,in,in,out,in,out,out] '|->' A_3_4_ioiioioo), ([in,out,in,in,out,out,in,in] '|->' A_3_4_ioiiooii),([in,out,in,in,out,out,in,out] '|->' A_3_4_ioiiooio),([in,out,in,in,out,out,out,in] '|->' A_3_4_ioiioooi),([in,out,in,in,out,out,out,out] '|->' A_3_4_ioiioooo),([in,out,in,out,in,in,in,in] '|->' A_3_4_ioioiiii),([in,out,in,out,in,in,in,out] '|->' A_3_4_ioioiiio),([in,out,in,out,in,in,out,in] '|->' A_3_4_ioioiioi),([in,out,in,out,in,in,out,out] '|->' A_3_4_ioioiioo), ([in,out,in,out,in,out,in,in] '|->' A_3_4_ioioioii),([in,out,in,out,in,out,in,out] '|->' A_3_4_ioioioio),([in,out,in,out,in,out,out,in] '|->' A_3_4_ioioiooi),([in,out,in,out,in,out,out,out] '|->' A_3_4_ioioiooo), ([in,out,in,out,out,in,in,in] '|->' A_3_4_ioiooiii),([in,out,in,out,out,in,in,out] '|->' A_3_4_ioiooiio),([in,out,in,out,out,in,out,in] '|->' A_3_4_ioiooioi),([in,out,in,out,out,in,out,out] '|->' A_3_4_ioiooioo), ([in,out,in,out,out,out,in,in] '|->' A_3_4_ioioooii),([in,out,in,out,out,out,in,out] '|->' A_3_4_ioioooio),([in,out,in,out,out,out,out,in] '|->' A_3_4_ioiooooi),([in,out,in,out,out,out,out,out] '|->' A_3_4_ioiooooo),([in,out,out,in,in,in,in,in] '|->' A_3_4_iooiiiii),([in,out,out,in,in,in,in,out] '|->' A_3_4_iooiiiio),([in,out,out,in,in,in,out,in] '|->' A_3_4_iooiiioi),([in,out,out,in,in,in,out,out] '|->' A_3_4_iooiiioo), ([in,out,out,in,in,out,in,in] '|->' A_3_4_iooiioii),([in,out,out,in,in,out,in,out] '|->' A_3_4_iooiioio),([in,out,out,in,in,out,out,in] '|->' A_3_4_iooiiooi),([in,out,out,in,in,out,out,out] '|->' A_3_4_iooiiooo), ([in,out,out,in,out,in,in,in] '|->' A_3_4_iooioiii),([in,out,out,in,out,in,in,out] '|->' A_3_4_iooioiio),([in,out,out,in,out,in,out,in] '|->' A_3_4_iooioioi),([in,out,out,in,out,in,out,out] '|->' A_3_4_iooioioo), ([in,out,out,in,out,out,in,in] '|->' A_3_4_iooiooii),([in,out,out,in,out,out,in,out] '|->' A_3_4_iooiooio),([in,out,out,in,out,out,out,in] '|->' A_3_4_iooioooi),([in,out,out,in,out,out,out,out] '|->' A_3_4_iooioooo),([in,out,out,out,in,in,in,in] '|->' A_3_4_ioooiiii),([in,out,out,out,in,in,in,out] '|->' A_3_4_ioooiiio),([in,out,out,out,in,in,out,in] '|->' A_3_4_ioooiioi),([in,out,out,out,in,in,out,out] '|->' A_3_4_ioooiioo), ([in,out,out,out,in,out,in,in] '|->' A_3_4_ioooioii),([in,out,out,out,in,out,in,out] '|->' A_3_4_ioooioio),([in,out,out,out,in,out,out,in] '|->' A_3_4_ioooiooi),([in,out,out,out,in,out,out,out] '|->' A_3_4_ioooiooo), ([in,out,out,out,out,in,in,in] '|->' A_3_4_iooooiii),([in,out,out,out,out,in,in,out] '|->' A_3_4_iooooiio),([in,out,out,out,out,in,out,in] '|->' A_3_4_iooooioi),([in,out,out,out,out,in,out,out] '|->' A_3_4_iooooioo), ([in,out,out,out,out,out,in,in] '|->' A_3_4_ioooooii),([in,out,out,out,out,out,in,out] '|->' A_3_4_ioooooio),([in,out,out,out,out,out,out,in] '|->' A_3_4_iooooooi),([in,out,out,out,out,out,out,out] '|->' A_3_4_iooooooo),([out,in,in,in,in,in,in,in] '|->' A_3_4_oiiiiiii),([out,in,in,in,in,in,in,out] '|->' A_3_4_oiiiiiio),([out,in,in,in,in,in,out,in] '|->' A_3_4_oiiiiioi),([out,in,in,in,in,in,out,out] '|->' A_3_4_oiiiiioo), ([out,in,in,in,in,out,in,in] '|->' A_3_4_oiiiioii),([out,in,in,in,in,out,in,out] '|->' A_3_4_oiiiioio),([out,in,in,in,in,out,out,in] '|->' A_3_4_oiiiiooi),([out,in,in,in,in,out,out,out] '|->' A_3_4_oiiiiooo), ([out,in,in,in,out,in,in,in] '|->' A_3_4_oiiioiii),([out,in,in,in,out,in,in,out] '|->' A_3_4_oiiioiio),([out,in,in,in,out,in,out,in] '|->' A_3_4_oiiioioi),([out,in,in,in,out,in,out,out] '|->' A_3_4_oiiioioo), ([out,in,in,in,out,out,in,in] '|->' A_3_4_oiiiooii),([out,in,in,in,out,out,in,out] '|->' A_3_4_oiiiooio),([out,in,in,in,out,out,out,in] '|->' A_3_4_oiiioooi),([out,in,in,in,out,out,out,out] '|->' A_3_4_oiiioooo),([out,in,in,out,in,in,in,in] '|->' A_3_4_oiioiiii),([out,in,in,out,in,in,in,out] '|->' A_3_4_oiioiiio),([out,in,in,out,in,in,out,in] '|->' A_3_4_oiioiioi),([out,in,in,out,in,in,out,out] '|->' A_3_4_oiioiioo), ([out,in,in,out,in,out,in,in] '|->' A_3_4_oiioioii),([out,in,in,out,in,out,in,out] '|->' A_3_4_oiioioio),([out,in,in,out,in,out,out,in] '|->' A_3_4_oiioiooi),([out,in,in,out,in,out,out,out] '|->' A_3_4_oiioiooo), ([out,in,in,out,out,in,in,in] '|->' A_3_4_oiiooiii),([out,in,in,out,out,in,in,out] '|->' A_3_4_oiiooiio),([out,in,in,out,out,in,out,in] '|->' A_3_4_oiiooioi),([out,in,in,out,out,in,out,out] '|->' A_3_4_oiiooioo), ([out,in,in,out,out,out,in,in] '|->' A_3_4_oiioooii),([out,in,in,out,out,out,in,out] '|->' A_3_4_oiioooio),([out,in,in,out,out,out,out,in] '|->' A_3_4_oiiooooi),([out,in,in,out,out,out,out,out] '|->' A_3_4_oiiooooo),([out,in,out,in,in,in,in,in] '|->' A_3_4_oioiiiii),([out,in,out,in,in,in,in,out] '|->' A_3_4_oioiiiio),([out,in,out,in,in,in,out,in] '|->' A_3_4_oioiiioi),([out,in,out,in,in,in,out,out] '|->' A_3_4_oioiiioo), ([out,in,out,in,in,out,in,in] '|->' A_3_4_oioiioii),([out,in,out,in,in,out,in,out] '|->' A_3_4_oioiioio),([out,in,out,in,in,out,out,in] '|->' A_3_4_oioiiooi),([out,in,out,in,in,out,out,out] '|->' A_3_4_oioiiooo), ([out,in,out,in,out,in,in,in] '|->' A_3_4_oioioiii),([out,in,out,in,out,in,in,out] '|->' A_3_4_oioioiio),([out,in,out,in,out,in,out,in] '|->' A_3_4_oioioioi),([out,in,out,in,out,in,out,out] '|->' A_3_4_oioioioo), ([out,in,out,in,out,out,in,in] '|->' A_3_4_oioiooii),([out,in,out,in,out,out,in,out] '|->' A_3_4_oioiooio),([out,in,out,in,out,out,out,in] '|->' A_3_4_oioioooi),([out,in,out,in,out,out,out,out] '|->' A_3_4_oioioooo),([out,in,out,out,in,in,in,in] '|->' A_3_4_oiooiiii),([out,in,out,out,in,in,in,out] '|->' A_3_4_oiooiiio),([out,in,out,out,in,in,out,in] '|->' A_3_4_oiooiioi),([out,in,out,out,in,in,out,out] '|->' A_3_4_oiooiioo), ([out,in,out,out,in,out,in,in] '|->' A_3_4_oiooioii),([out,in,out,out,in,out,in,out] '|->' A_3_4_oiooioio),([out,in,out,out,in,out,out,in] '|->' A_3_4_oiooiooi),([out,in,out,out,in,out,out,out] '|->' A_3_4_oiooiooo), ([out,in,out,out,out,in,in,in] '|->' A_3_4_oioooiii),([out,in,out,out,out,in,in,out] '|->' A_3_4_oioooiio),([out,in,out,out,out,in,out,in] '|->' A_3_4_oioooioi),([out,in,out,out,out,in,out,out] '|->' A_3_4_oioooioo), ([out,in,out,out,out,out,in,in] '|->' A_3_4_oiooooii),([out,in,out,out,out,out,in,out] '|->' A_3_4_oiooooio),([out,in,out,out,out,out,out,in] '|->' A_3_4_oioooooi),([out,in,out,out,out,out,out,out] '|->' A_3_4_oioooooo),([out,out,in,in,in,in,in,in] '|->' A_3_4_ooiiiiii),([out,out,in,in,in,in,in,out] '|->' A_3_4_ooiiiiio),([out,out,in,in,in,in,out,in] '|->' A_3_4_ooiiiioi),([out,out,in,in,in,in,out,out] '|->' A_3_4_ooiiiioo), ([out,out,in,in,in,out,in,in] '|->' A_3_4_ooiiioii),([out,out,in,in,in,out,in,out] '|->' A_3_4_ooiiioio),([out,out,in,in,in,out,out,in] '|->' A_3_4_ooiiiooi),([out,out,in,in,in,out,out,out] '|->' A_3_4_ooiiiooo), ([out,out,in,in,out,in,in,in] '|->' A_3_4_ooiioiii),([out,out,in,in,out,in,in,out] '|->' A_3_4_ooiioiio),([out,out,in,in,out,in,out,in] '|->' A_3_4_ooiioioi),([out,out,in,in,out,in,out,out] '|->' A_3_4_ooiioioo), ([out,out,in,in,out,out,in,in] '|->' A_3_4_ooiiooii),([out,out,in,in,out,out,in,out] '|->' A_3_4_ooiiooio),([out,out,in,in,out,out,out,in] '|->' A_3_4_ooiioooi),([out,out,in,in,out,out,out,out] '|->' A_3_4_ooiioooo),([out,out,in,out,in,in,in,in] '|->' A_3_4_ooioiiii),([out,out,in,out,in,in,in,out] '|->' A_3_4_ooioiiio),([out,out,in,out,in,in,out,in] '|->' A_3_4_ooioiioi),([out,out,in,out,in,in,out,out] '|->' A_3_4_ooioiioo), ([out,out,in,out,in,out,in,in] '|->' A_3_4_ooioioii),([out,out,in,out,in,out,in,out] '|->' A_3_4_ooioioio),([out,out,in,out,in,out,out,in] '|->' A_3_4_ooioiooi),([out,out,in,out,in,out,out,out] '|->' A_3_4_ooioiooo), ([out,out,in,out,out,in,in,in] '|->' A_3_4_ooiooiii),([out,out,in,out,out,in,in,out] '|->' A_3_4_ooiooiio),([out,out,in,out,out,in,out,in] '|->' A_3_4_ooiooioi),([out,out,in,out,out,in,out,out] '|->' A_3_4_ooiooioo), ([out,out,in,out,out,out,in,in] '|->' A_3_4_ooioooii),([out,out,in,out,out,out,in,out] '|->' A_3_4_ooioooio),([out,out,in,out,out,out,out,in] '|->' A_3_4_ooiooooi),([out,out,in,out,out,out,out,out] '|->' A_3_4_ooiooooo),([out,out,out,in,in,in,in,in] '|->' A_3_4_oooiiiii),([out,out,out,in,in,in,in,out] '|->' A_3_4_oooiiiio),([out,out,out,in,in,in,out,in] '|->' A_3_4_oooiiioi),([out,out,out,in,in,in,out,out] '|->' A_3_4_oooiiioo), ([out,out,out,in,in,out,in,in] '|->' A_3_4_oooiioii),([out,out,out,in,in,out,in,out] '|->' A_3_4_oooiioio),([out,out,out,in,in,out,out,in] '|->' A_3_4_oooiiooi),([out,out,out,in,in,out,out,out] '|->' A_3_4_oooiiooo), ([out,out,out,in,out,in,in,in] '|->' A_3_4_oooioiii),([out,out,out,in,out,in,in,out] '|->' A_3_4_oooioiio),([out,out,out,in,out,in,out,in] '|->' A_3_4_oooioioi),([out,out,out,in,out,in,out,out] '|->' A_3_4_oooioioo), ([out,out,out,in,out,out,in,in] '|->' A_3_4_oooiooii),([out,out,out,in,out,out,in,out] '|->' A_3_4_oooiooio),([out,out,out,in,out,out,out,in] '|->' A_3_4_oooioooi),([out,out,out,in,out,out,out,out] '|->' A_3_4_oooioooo),([out,out,out,out,in,in,in,in] '|->' A_3_4_ooooiiii),([out,out,out,out,in,in,in,out] '|->' A_3_4_ooooiiio),([out,out,out,out,in,in,out,in] '|->' A_3_4_ooooiioi),([out,out,out,out,in,in,out,out] '|->' A_3_4_ooooiioo), ([out,out,out,out,in,out,in,in] '|->' A_3_4_ooooioii),([out,out,out,out,in,out,in,out] '|->' A_3_4_ooooioio),([out,out,out,out,in,out,out,in] '|->' A_3_4_ooooiooi),([out,out,out,out,in,out,out,out] '|->' A_3_4_ooooiooo), ([out,out,out,out,out,in,in,in] '|->' A_3_4_oooooiii),([out,out,out,out,out,in,in,out] '|->' A_3_4_oooooiio),([out,out,out,out,out,in,out,in] '|->' A_3_4_oooooioi),([out,out,out,out,out,in,out,out] '|->' A_3_4_oooooioo), ([out,out,out,out,out,out,in,in] '|->' A_3_4_ooooooii),([out,out,out,out,out,out,in,out] '|->' A_3_4_ooooooio),([out,out,out,out,out,out,out,in] '|->' A_3_4_oooooooi),([out,out,out,out,out,out,out,out] '|->' A_3_4_oooooooo)]),sk(a_4_4, [([in,in,in,in,in,in,in,in] '|->' A_4_4_iiiiiiii),([in,in,in,in,in,in,in,out] '|->' A_4_4_iiiiiiio),([in,in,in,in,in,in,out,in] '|->' A_4_4_iiiiiioi),([in,in,in,in,in,in,out,out] '|->' A_4_4_iiiiiioo), ([in,in,in,in,in,out,in,in] '|->' A_4_4_iiiiioii),([in,in,in,in,in,out,in,out] '|->' A_4_4_iiiiioio),([in,in,in,in,in,out,out,in] '|->' A_4_4_iiiiiooi),([in,in,in,in,in,out,out,out] '|->' A_4_4_iiiiiooo), ([in,in,in,in,out,in,in,in] '|->' A_4_4_iiiioiii),([in,in,in,in,out,in,in,out] '|->' A_4_4_iiiioiio),([in,in,in,in,out,in,out,in] '|->' A_4_4_iiiioioi),([in,in,in,in,out,in,out,out] '|->' A_4_4_iiiioioo), ([in,in,in,in,out,out,in,in] '|->' A_4_4_iiiiooii),([in,in,in,in,out,out,in,out] '|->' A_4_4_iiiiooio),([in,in,in,in,out,out,out,in] '|->' A_4_4_iiiioooi),([in,in,in,in,out,out,out,out] '|->' A_4_4_iiiioooo),([in,in,in,out,in,in,in,in] '|->' A_4_4_iiioiiii),([in,in,in,out,in,in,in,out] '|->' A_4_4_iiioiiio),([in,in,in,out,in,in,out,in] '|->' A_4_4_iiioiioi),([in,in,in,out,in,in,out,out] '|->' A_4_4_iiioiioo), ([in,in,in,out,in,out,in,in] '|->' A_4_4_iiioioii),([in,in,in,out,in,out,in,out] '|->' A_4_4_iiioioio),([in,in,in,out,in,out,out,in] '|->' A_4_4_iiioiooi),([in,in,in,out,in,out,out,out] '|->' A_4_4_iiioiooo), ([in,in,in,out,out,in,in,in] '|->' A_4_4_iiiooiii),([in,in,in,out,out,in,in,out] '|->' A_4_4_iiiooiio),([in,in,in,out,out,in,out,in] '|->' A_4_4_iiiooioi),([in,in,in,out,out,in,out,out] '|->' A_4_4_iiiooioo), ([in,in,in,out,out,out,in,in] '|->' A_4_4_iiioooii),([in,in,in,out,out,out,in,out] '|->' A_4_4_iiioooio),([in,in,in,out,out,out,out,in] '|->' A_4_4_iiiooooi),([in,in,in,out,out,out,out,out] '|->' A_4_4_iiiooooo),([in,in,out,in,in,in,in,in] '|->' A_4_4_iioiiiii),([in,in,out,in,in,in,in,out] '|->' A_4_4_iioiiiio),([in,in,out,in,in,in,out,in] '|->' A_4_4_iioiiioi),([in,in,out,in,in,in,out,out] '|->' A_4_4_iioiiioo), ([in,in,out,in,in,out,in,in] '|->' A_4_4_iioiioii),([in,in,out,in,in,out,in,out] '|->' A_4_4_iioiioio),([in,in,out,in,in,out,out,in] '|->' A_4_4_iioiiooi),([in,in,out,in,in,out,out,out] '|->' A_4_4_iioiiooo), ([in,in,out,in,out,in,in,in] '|->' A_4_4_iioioiii),([in,in,out,in,out,in,in,out] '|->' A_4_4_iioioiio),([in,in,out,in,out,in,out,in] '|->' A_4_4_iioioioi),([in,in,out,in,out,in,out,out] '|->' A_4_4_iioioioo), ([in,in,out,in,out,out,in,in] '|->' A_4_4_iioiooii),([in,in,out,in,out,out,in,out] '|->' A_4_4_iioiooio),([in,in,out,in,out,out,out,in] '|->' A_4_4_iioioooi),([in,in,out,in,out,out,out,out] '|->' A_4_4_iioioooo),([in,in,out,out,in,in,in,in] '|->' A_4_4_iiooiiii),([in,in,out,out,in,in,in,out] '|->' A_4_4_iiooiiio),([in,in,out,out,in,in,out,in] '|->' A_4_4_iiooiioi),([in,in,out,out,in,in,out,out] '|->' A_4_4_iiooiioo), ([in,in,out,out,in,out,in,in] '|->' A_4_4_iiooioii),([in,in,out,out,in,out,in,out] '|->' A_4_4_iiooioio),([in,in,out,out,in,out,out,in] '|->' A_4_4_iiooiooi),([in,in,out,out,in,out,out,out] '|->' A_4_4_iiooiooo), ([in,in,out,out,out,in,in,in] '|->' A_4_4_iioooiii),([in,in,out,out,out,in,in,out] '|->' A_4_4_iioooiio),([in,in,out,out,out,in,out,in] '|->' A_4_4_iioooioi),([in,in,out,out,out,in,out,out] '|->' A_4_4_iioooioo), ([in,in,out,out,out,out,in,in] '|->' A_4_4_iiooooii),([in,in,out,out,out,out,in,out] '|->' A_4_4_iiooooio),([in,in,out,out,out,out,out,in] '|->' A_4_4_iioooooi),([in,in,out,out,out,out,out,out] '|->' A_4_4_iioooooo),([in,out,in,in,in,in,in,in] '|->' A_4_4_ioiiiiii),([in,out,in,in,in,in,in,out] '|->' A_4_4_ioiiiiio),([in,out,in,in,in,in,out,in] '|->' A_4_4_ioiiiioi),([in,out,in,in,in,in,out,out] '|->' A_4_4_ioiiiioo), ([in,out,in,in,in,out,in,in] '|->' A_4_4_ioiiioii),([in,out,in,in,in,out,in,out] '|->' A_4_4_ioiiioio),([in,out,in,in,in,out,out,in] '|->' A_4_4_ioiiiooi),([in,out,in,in,in,out,out,out] '|->' A_4_4_ioiiiooo), ([in,out,in,in,out,in,in,in] '|->' A_4_4_ioiioiii),([in,out,in,in,out,in,in,out] '|->' A_4_4_ioiioiio),([in,out,in,in,out,in,out,in] '|->' A_4_4_ioiioioi),([in,out,in,in,out,in,out,out] '|->' A_4_4_ioiioioo), ([in,out,in,in,out,out,in,in] '|->' A_4_4_ioiiooii),([in,out,in,in,out,out,in,out] '|->' A_4_4_ioiiooio),([in,out,in,in,out,out,out,in] '|->' A_4_4_ioiioooi),([in,out,in,in,out,out,out,out] '|->' A_4_4_ioiioooo),([in,out,in,out,in,in,in,in] '|->' A_4_4_ioioiiii),([in,out,in,out,in,in,in,out] '|->' A_4_4_ioioiiio),([in,out,in,out,in,in,out,in] '|->' A_4_4_ioioiioi),([in,out,in,out,in,in,out,out] '|->' A_4_4_ioioiioo), ([in,out,in,out,in,out,in,in] '|->' A_4_4_ioioioii),([in,out,in,out,in,out,in,out] '|->' A_4_4_ioioioio),([in,out,in,out,in,out,out,in] '|->' A_4_4_ioioiooi),([in,out,in,out,in,out,out,out] '|->' A_4_4_ioioiooo), ([in,out,in,out,out,in,in,in] '|->' A_4_4_ioiooiii),([in,out,in,out,out,in,in,out] '|->' A_4_4_ioiooiio),([in,out,in,out,out,in,out,in] '|->' A_4_4_ioiooioi),([in,out,in,out,out,in,out,out] '|->' A_4_4_ioiooioo), ([in,out,in,out,out,out,in,in] '|->' A_4_4_ioioooii),([in,out,in,out,out,out,in,out] '|->' A_4_4_ioioooio),([in,out,in,out,out,out,out,in] '|->' A_4_4_ioiooooi),([in,out,in,out,out,out,out,out] '|->' A_4_4_ioiooooo),([in,out,out,in,in,in,in,in] '|->' A_4_4_iooiiiii),([in,out,out,in,in,in,in,out] '|->' A_4_4_iooiiiio),([in,out,out,in,in,in,out,in] '|->' A_4_4_iooiiioi),([in,out,out,in,in,in,out,out] '|->' A_4_4_iooiiioo), ([in,out,out,in,in,out,in,in] '|->' A_4_4_iooiioii),([in,out,out,in,in,out,in,out] '|->' A_4_4_iooiioio),([in,out,out,in,in,out,out,in] '|->' A_4_4_iooiiooi),([in,out,out,in,in,out,out,out] '|->' A_4_4_iooiiooo), ([in,out,out,in,out,in,in,in] '|->' A_4_4_iooioiii),([in,out,out,in,out,in,in,out] '|->' A_4_4_iooioiio),([in,out,out,in,out,in,out,in] '|->' A_4_4_iooioioi),([in,out,out,in,out,in,out,out] '|->' A_4_4_iooioioo), ([in,out,out,in,out,out,in,in] '|->' A_4_4_iooiooii),([in,out,out,in,out,out,in,out] '|->' A_4_4_iooiooio),([in,out,out,in,out,out,out,in] '|->' A_4_4_iooioooi),([in,out,out,in,out,out,out,out] '|->' A_4_4_iooioooo),([in,out,out,out,in,in,in,in] '|->' A_4_4_ioooiiii),([in,out,out,out,in,in,in,out] '|->' A_4_4_ioooiiio),([in,out,out,out,in,in,out,in] '|->' A_4_4_ioooiioi),([in,out,out,out,in,in,out,out] '|->' A_4_4_ioooiioo), ([in,out,out,out,in,out,in,in] '|->' A_4_4_ioooioii),([in,out,out,out,in,out,in,out] '|->' A_4_4_ioooioio),([in,out,out,out,in,out,out,in] '|->' A_4_4_ioooiooi),([in,out,out,out,in,out,out,out] '|->' A_4_4_ioooiooo), ([in,out,out,out,out,in,in,in] '|->' A_4_4_iooooiii),([in,out,out,out,out,in,in,out] '|->' A_4_4_iooooiio),([in,out,out,out,out,in,out,in] '|->' A_4_4_iooooioi),([in,out,out,out,out,in,out,out] '|->' A_4_4_iooooioo), ([in,out,out,out,out,out,in,in] '|->' A_4_4_ioooooii),([in,out,out,out,out,out,in,out] '|->' A_4_4_ioooooio),([in,out,out,out,out,out,out,in] '|->' A_4_4_iooooooi),([in,out,out,out,out,out,out,out] '|->' A_4_4_iooooooo),([out,in,in,in,in,in,in,in] '|->' A_4_4_oiiiiiii),([out,in,in,in,in,in,in,out] '|->' A_4_4_oiiiiiio),([out,in,in,in,in,in,out,in] '|->' A_4_4_oiiiiioi),([out,in,in,in,in,in,out,out] '|->' A_4_4_oiiiiioo), ([out,in,in,in,in,out,in,in] '|->' A_4_4_oiiiioii),([out,in,in,in,in,out,in,out] '|->' A_4_4_oiiiioio),([out,in,in,in,in,out,out,in] '|->' A_4_4_oiiiiooi),([out,in,in,in,in,out,out,out] '|->' A_4_4_oiiiiooo), ([out,in,in,in,out,in,in,in] '|->' A_4_4_oiiioiii),([out,in,in,in,out,in,in,out] '|->' A_4_4_oiiioiio),([out,in,in,in,out,in,out,in] '|->' A_4_4_oiiioioi),([out,in,in,in,out,in,out,out] '|->' A_4_4_oiiioioo), ([out,in,in,in,out,out,in,in] '|->' A_4_4_oiiiooii),([out,in,in,in,out,out,in,out] '|->' A_4_4_oiiiooio),([out,in,in,in,out,out,out,in] '|->' A_4_4_oiiioooi),([out,in,in,in,out,out,out,out] '|->' A_4_4_oiiioooo),([out,in,in,out,in,in,in,in] '|->' A_4_4_oiioiiii),([out,in,in,out,in,in,in,out] '|->' A_4_4_oiioiiio),([out,in,in,out,in,in,out,in] '|->' A_4_4_oiioiioi),([out,in,in,out,in,in,out,out] '|->' A_4_4_oiioiioo), ([out,in,in,out,in,out,in,in] '|->' A_4_4_oiioioii),([out,in,in,out,in,out,in,out] '|->' A_4_4_oiioioio),([out,in,in,out,in,out,out,in] '|->' A_4_4_oiioiooi),([out,in,in,out,in,out,out,out] '|->' A_4_4_oiioiooo), ([out,in,in,out,out,in,in,in] '|->' A_4_4_oiiooiii),([out,in,in,out,out,in,in,out] '|->' A_4_4_oiiooiio),([out,in,in,out,out,in,out,in] '|->' A_4_4_oiiooioi),([out,in,in,out,out,in,out,out] '|->' A_4_4_oiiooioo), ([out,in,in,out,out,out,in,in] '|->' A_4_4_oiioooii),([out,in,in,out,out,out,in,out] '|->' A_4_4_oiioooio),([out,in,in,out,out,out,out,in] '|->' A_4_4_oiiooooi),([out,in,in,out,out,out,out,out] '|->' A_4_4_oiiooooo),([out,in,out,in,in,in,in,in] '|->' A_4_4_oioiiiii),([out,in,out,in,in,in,in,out] '|->' A_4_4_oioiiiio),([out,in,out,in,in,in,out,in] '|->' A_4_4_oioiiioi),([out,in,out,in,in,in,out,out] '|->' A_4_4_oioiiioo), ([out,in,out,in,in,out,in,in] '|->' A_4_4_oioiioii),([out,in,out,in,in,out,in,out] '|->' A_4_4_oioiioio),([out,in,out,in,in,out,out,in] '|->' A_4_4_oioiiooi),([out,in,out,in,in,out,out,out] '|->' A_4_4_oioiiooo), ([out,in,out,in,out,in,in,in] '|->' A_4_4_oioioiii),([out,in,out,in,out,in,in,out] '|->' A_4_4_oioioiio),([out,in,out,in,out,in,out,in] '|->' A_4_4_oioioioi),([out,in,out,in,out,in,out,out] '|->' A_4_4_oioioioo), ([out,in,out,in,out,out,in,in] '|->' A_4_4_oioiooii),([out,in,out,in,out,out,in,out] '|->' A_4_4_oioiooio),([out,in,out,in,out,out,out,in] '|->' A_4_4_oioioooi),([out,in,out,in,out,out,out,out] '|->' A_4_4_oioioooo),([out,in,out,out,in,in,in,in] '|->' A_4_4_oiooiiii),([out,in,out,out,in,in,in,out] '|->' A_4_4_oiooiiio),([out,in,out,out,in,in,out,in] '|->' A_4_4_oiooiioi),([out,in,out,out,in,in,out,out] '|->' A_4_4_oiooiioo), ([out,in,out,out,in,out,in,in] '|->' A_4_4_oiooioii),([out,in,out,out,in,out,in,out] '|->' A_4_4_oiooioio),([out,in,out,out,in,out,out,in] '|->' A_4_4_oiooiooi),([out,in,out,out,in,out,out,out] '|->' A_4_4_oiooiooo), ([out,in,out,out,out,in,in,in] '|->' A_4_4_oioooiii),([out,in,out,out,out,in,in,out] '|->' A_4_4_oioooiio),([out,in,out,out,out,in,out,in] '|->' A_4_4_oioooioi),([out,in,out,out,out,in,out,out] '|->' A_4_4_oioooioo), ([out,in,out,out,out,out,in,in] '|->' A_4_4_oiooooii),([out,in,out,out,out,out,in,out] '|->' A_4_4_oiooooio),([out,in,out,out,out,out,out,in] '|->' A_4_4_oioooooi),([out,in,out,out,out,out,out,out] '|->' A_4_4_oioooooo),([out,out,in,in,in,in,in,in] '|->' A_4_4_ooiiiiii),([out,out,in,in,in,in,in,out] '|->' A_4_4_ooiiiiio),([out,out,in,in,in,in,out,in] '|->' A_4_4_ooiiiioi),([out,out,in,in,in,in,out,out] '|->' A_4_4_ooiiiioo), ([out,out,in,in,in,out,in,in] '|->' A_4_4_ooiiioii),([out,out,in,in,in,out,in,out] '|->' A_4_4_ooiiioio),([out,out,in,in,in,out,out,in] '|->' A_4_4_ooiiiooi),([out,out,in,in,in,out,out,out] '|->' A_4_4_ooiiiooo), ([out,out,in,in,out,in,in,in] '|->' A_4_4_ooiioiii),([out,out,in,in,out,in,in,out] '|->' A_4_4_ooiioiio),([out,out,in,in,out,in,out,in] '|->' A_4_4_ooiioioi),([out,out,in,in,out,in,out,out] '|->' A_4_4_ooiioioo), ([out,out,in,in,out,out,in,in] '|->' A_4_4_ooiiooii),([out,out,in,in,out,out,in,out] '|->' A_4_4_ooiiooio),([out,out,in,in,out,out,out,in] '|->' A_4_4_ooiioooi),([out,out,in,in,out,out,out,out] '|->' A_4_4_ooiioooo),([out,out,in,out,in,in,in,in] '|->' A_4_4_ooioiiii),([out,out,in,out,in,in,in,out] '|->' A_4_4_ooioiiio),([out,out,in,out,in,in,out,in] '|->' A_4_4_ooioiioi),([out,out,in,out,in,in,out,out] '|->' A_4_4_ooioiioo), ([out,out,in,out,in,out,in,in] '|->' A_4_4_ooioioii),([out,out,in,out,in,out,in,out] '|->' A_4_4_ooioioio),([out,out,in,out,in,out,out,in] '|->' A_4_4_ooioiooi),([out,out,in,out,in,out,out,out] '|->' A_4_4_ooioiooo), ([out,out,in,out,out,in,in,in] '|->' A_4_4_ooiooiii),([out,out,in,out,out,in,in,out] '|->' A_4_4_ooiooiio),([out,out,in,out,out,in,out,in] '|->' A_4_4_ooiooioi),([out,out,in,out,out,in,out,out] '|->' A_4_4_ooiooioo), ([out,out,in,out,out,out,in,in] '|->' A_4_4_ooioooii),([out,out,in,out,out,out,in,out] '|->' A_4_4_ooioooio),([out,out,in,out,out,out,out,in] '|->' A_4_4_ooiooooi),([out,out,in,out,out,out,out,out] '|->' A_4_4_ooiooooo),([out,out,out,in,in,in,in,in] '|->' A_4_4_oooiiiii),([out,out,out,in,in,in,in,out] '|->' A_4_4_oooiiiio),([out,out,out,in,in,in,out,in] '|->' A_4_4_oooiiioi),([out,out,out,in,in,in,out,out] '|->' A_4_4_oooiiioo), ([out,out,out,in,in,out,in,in] '|->' A_4_4_oooiioii),([out,out,out,in,in,out,in,out] '|->' A_4_4_oooiioio),([out,out,out,in,in,out,out,in] '|->' A_4_4_oooiiooi),([out,out,out,in,in,out,out,out] '|->' A_4_4_oooiiooo), ([out,out,out,in,out,in,in,in] '|->' A_4_4_oooioiii),([out,out,out,in,out,in,in,out] '|->' A_4_4_oooioiio),([out,out,out,in,out,in,out,in] '|->' A_4_4_oooioioi),([out,out,out,in,out,in,out,out] '|->' A_4_4_oooioioo), ([out,out,out,in,out,out,in,in] '|->' A_4_4_oooiooii),([out,out,out,in,out,out,in,out] '|->' A_4_4_oooiooio),([out,out,out,in,out,out,out,in] '|->' A_4_4_oooioooi),([out,out,out,in,out,out,out,out] '|->' A_4_4_oooioooo),([out,out,out,out,in,in,in,in] '|->' A_4_4_ooooiiii),([out,out,out,out,in,in,in,out] '|->' A_4_4_ooooiiio),([out,out,out,out,in,in,out,in] '|->' A_4_4_ooooiioi),([out,out,out,out,in,in,out,out] '|->' A_4_4_ooooiioo), ([out,out,out,out,in,out,in,in] '|->' A_4_4_ooooioii),([out,out,out,out,in,out,in,out] '|->' A_4_4_ooooioio),([out,out,out,out,in,out,out,in] '|->' A_4_4_ooooiooi),([out,out,out,out,in,out,out,out] '|->' A_4_4_ooooiooo), ([out,out,out,out,out,in,in,in] '|->' A_4_4_oooooiii),([out,out,out,out,out,in,in,out] '|->' A_4_4_oooooiio),([out,out,out,out,out,in,out,in] '|->' A_4_4_oooooioi),([out,out,out,out,out,in,out,out] '|->' A_4_4_oooooioo), ([out,out,out,out,out,out,in,in] '|->' A_4_4_ooooooii),([out,out,out,out,out,out,in,out] '|->' A_4_4_ooooooio),([out,out,out,out,out,out,out,in] '|->' A_4_4_oooooooi),([out,out,out,out,out,out,out,out] '|->' A_4_4_oooooooo)])]).
% Ch_iiioiooi = in,
% Ch_oiioiooo = in,
% Ch_iiioiooo = in,
% Ch_oiioiooi = in,
% Ch_iiioioii = in,
% Ch_oiioioio = in,
% Ch_iiioioio = in,
% Ch_oiioioii = in,
% Ch_iiioiioi = in,
% Ch_oiioiioo = in,
% Ch_iiioiioo = in,
% Ch_oiioiioi = in,
% Ch_iiioiiii = in,
% Ch_oiioiiio = in,
% Ch_iiioiiio = in,
% Ch_oiioiiii = in,
% Ch_iiiooooi = in,
% Ch_oiiooooo = in,
% Ch_iiiooooo = in,
% Ch_oiiooooi = in,
% Ch_iiioooii = in,
% Ch_oiioooio = in,
% Ch_iiioooio = in,
% Ch_oiioooii = in,
% Ch_iiiooioi = in,
% Ch_oiiooioo = in,
% Ch_iiiooioo = in,
% Ch_oiiooioi = in,
% Ch_iiiooiii = in,
% Ch_oiiooiio = in,
% Ch_iiiooiio = in,
% Ch_oiiooiii = in,
% Ch_iiiiiooi = in,
% Ch_oiiiiooo = in,
% Ch_iiiiiooo = in,
% Ch_oiiiiooi = in,
% Ch_iiiiioii = in,
% Ch_oiiiioio = in,
% Ch_iiiiioio = in,
% Ch_oiiiioii = in,
% Ch_iiiiiioi = in,
% Ch_oiiiiioo = in,
% Ch_iiiiiioo = in,
% Ch_oiiiiioi = in,
% Ch_iiiiiiii = in,
% Ch_oiiiiiio = in,
% Ch_iiiiiiio = in,
% Ch_oiiiiiii = in,
% Ch_iiiioooi = in,
% Ch_oiiioooo = in,
% Ch_iiiioooo = in,
% Ch_oiiioooi = in,
% Ch_iiiiooii = in,
% Ch_oiiiooio = in,
% Ch_iiiiooio = in,
% Ch_oiiiooii = in,
% Ch_iiiioioi = in,
% Ch_oiiioioo = in,
% Ch_iiiioioo = in,
% Ch_oiiioioi = in,
% Ch_iiiioiii = in,
% Ch_oiiioiio = in,
% Ch_iiiioiio = in,
% Ch_oiiioiii = in,
% Ch_iiooiooi = in,
% Ch_oiooiooo = out,
% Ch_iiooiooo = in,
% Ch_oiooiooi = in,
% Ch_iiooioii = in,
% Ch_oiooioio = in,
% Ch_iiooioio = in,
% Ch_oiooioii = in,
% Ch_iiooiioi = in,
% Ch_oiooiioo = in,
% Ch_iiooiioo = in,
% Ch_oiooiioi = in,
% Ch_iiooiiii = in,
% Ch_oiooiiio = in,
% Ch_iiooiiio = in,
% Ch_oiooiiii = in,
% Ch_iioooooi = in,
% Ch_oioooooo = in,
% Ch_iioooooo = in,
% Ch_oioooooi = out,
% Ch_iiooooii = in,
% Ch_oiooooio = in,
% Ch_iiooooio = in,
% Ch_oiooooii = in,
% Ch_iioooioi = in,
% Ch_oioooioo = in,
% Ch_iioooioo = in,
% Ch_oioooioi = in,
% Ch_iioooiii = in,
% Ch_oioooiio = in,
% Ch_iioooiio = in,
% Ch_oioooiii = in,
% Ch_iioiiooi = in,
% Ch_oioiiooo = in,
% Ch_iioiiooo = in,
% Ch_oioiiooi = in,
% Ch_iioiioii = in,
% Ch_oioiioio = in,
% Ch_iioiioio = in,
% Ch_oioiioii = in,
% Ch_iioiiioi = in,
% Ch_oioiiioo = in,
% Ch_iioiiioo = in,
% Ch_oioiiioi = in,
% Ch_iioiiiii = in,
% Ch_oioiiiio = in,
% Ch_iioiiiio = in,
% Ch_oioiiiii = in,
% Ch_iioioooi = in,
% Ch_oioioooo = in,
% Ch_iioioooo = in,
% Ch_oioioooi = in,
% Ch_iioiooii = in,
% Ch_oioiooio = in,
% Ch_iioiooio = in,
% Ch_oioiooii = in,
% Ch_iioioioi = in,
% Ch_oioioioo = in,
% Ch_iioioioo = in,
% Ch_oioioioi = in,
% Ch_iioioiii = in,
% Ch_oioioiio = in,
% Ch_iioioiio = in,
% Ch_oioioiii = in,
% A_3_2_ooii = out,
% A_2_2_ooii = out,
% A_4_2_ooii = out,
% A_4_2_ooio = out,
% A_3_2_ooio = out,
% A_2_2_ooio = in,
% A_1_2_ooio = out,
% A_1_2_ooii = in,
% A_3_2_oooi = out,
% A_2_2_oooi = out,
% A_4_2_oooi = out,
% A_4_2_oooo = out,
% A_3_2_oooo = out,
% A_2_2_oooo = out,
% A_1_2_oooo = in,
% A_1_2_oooi = in,
% A_3_2_oiii = out,
% A_2_2_oiii = out,
% A_4_2_oiii = out,
% A_4_2_oiio = out,
% A_3_2_oiio = out,
% A_2_2_oiio = out,
% A_1_2_oiio = in,
% A_1_2_oiii = in,
% A_3_2_oioi = out,
% A_2_2_oioi = out,
% A_4_2_oioi = out,
% A_4_2_oioo = out,
% A_3_2_oioo = in,
% A_2_2_oioo = out,
% A_1_2_oioo = out,
% A_1_2_oioi = in,
% A_3_2_ioii = out,
% A_2_2_ioii = in,
% A_4_2_ioii = out,
% A_4_2_ioio = out,
% A_3_2_ioio = out,
% A_2_2_ioio = in,
% A_1_2_ioio = out,
% A_1_2_ioii = out,
% A_3_2_iooi = out,
% A_2_2_iooi = in,
% A_4_2_iooi = out,
% A_4_2_iooo = in,
% A_3_2_iooo = out,
% A_2_2_iooo = out,
% A_1_2_iooo = out,
% A_1_2_iooi = out,
% A_3_2_iiii = out,
% A_2_2_iiii = out,
% A_4_2_iiii = out,
% A_4_2_iiio = in,
% A_3_2_iiio = out,
% A_2_2_iiio = out,
% A_1_2_iiio = out,
% A_1_2_iiii = out,
% A_3_2_iioi = in,
% A_2_2_iioi = out,
% A_4_2_iioi = out,
% A_4_2_iioo = out,
% A_3_2_iioo = in,
% A_2_2_iioo = out,
% A_1_2_iioo = out,
% A_1_2_iioi = out,
% A_3_4_iiiiiioo = out,
% A_3_4_oiiiiioi = out,
% A_3_4_iiiiiioi = out,
% A_3_4_oiiiiioo = out,
% A_3_4_iiiiiiio = out,
% A_3_4_oiiiiiii = out,
% A_3_4_iiiiiiii = out,
% A_3_4_oiiiiiio = out,
% A_3_4_iiiiiooo = out,
% A_3_4_oiiiiooi = out,
% A_3_4_iiiiiooi = out,
% A_3_4_oiiiiooo = out,
% A_3_4_iiiiioio = out,
% A_3_4_oiiiioii = out,
% A_3_4_iiiiioii = out,
% A_3_4_oiiiioio = out,
% A_3_4_iiiioioo = out,
% A_3_4_oiiioioi = out,
% A_3_4_iiiioioi = out,
% A_3_4_oiiioioo = out,
% A_3_4_iiiioiio = out,
% A_3_4_oiiioiii = out,
% A_3_4_iiiioiii = out,
% A_3_4_oiiioiio = out,
% A_3_4_iiiioooo = out,
% A_3_4_oiiioooi = out,
% A_3_4_iiiioooi = out,
% A_3_4_oiiioooo = out,
% A_3_4_iiiiooio = out,
% A_3_4_oiiiooii = out,
% A_3_4_iiiiooii = out,
% A_3_4_oiiiooio = out,
% A_2_4_iiiiiioo = out,
% A_2_4_oiiiiioi = out,
% A_2_4_iiiiiioi = out,
% A_2_4_oiiiiioo = out,
% A_2_4_iiiiiiio = out,
% A_2_4_oiiiiiii = out,
% A_2_4_iiiiiiii = out,
% A_2_4_oiiiiiio = out,
% A_2_4_iiiiiooo = out,
% A_2_4_oiiiiooi = out,
% A_2_4_iiiiiooi = out,
% A_2_4_oiiiiooo = out,
% A_2_4_iiiiioio = out,
% A_2_4_oiiiioii = out,
% A_2_4_iiiiioii = out,
% A_2_4_oiiiioio = out,
% A_2_4_iiiioioo = out,
% A_2_4_oiiioioi = out,
% A_2_4_iiiioioi = out,
% A_2_4_oiiioioo = out,
% A_2_4_iiiioiio = out,
% A_2_4_oiiioiii = out,
% A_2_4_iiiioiii = out,
% A_2_4_oiiioiio = out,
% A_2_4_iiiioooo = out,
% A_2_4_oiiioooi = out,
% A_2_4_iiiioooi = out,
% A_2_4_oiiioooo = out,
% A_2_4_iiiiooio = out,
% A_2_4_oiiiooii = out,
% A_2_4_iiiiooii = out,
% A_2_4_oiiiooio = out,
% A_4_4_iiiiiioo = out,
% A_4_4_oiiiiioi = out,
% A_4_4_iiiiiioi = out,
% A_4_4_oiiiiioo = out,
% A_4_4_iiiiiiio = out,
% A_4_4_oiiiiiii = out,
% A_4_4_iiiiiiii = out,
% A_4_4_oiiiiiio = out,
% A_4_4_iiiiiooo = out,
% A_4_4_oiiiiooi = out,
% A_4_4_iiiiiooi = out,
% A_4_4_oiiiiooo = out,
% A_4_4_iiiiioio = out,
% A_4_4_oiiiioii = out,
% A_4_4_iiiiioii = out,
% A_4_4_oiiiioio = out,
% A_4_4_iiiioioo = out,
% A_4_4_oiiioioi = out,
% A_4_4_iiiioioi = out,
% A_4_4_oiiioioo = out,
% A_4_4_iiiioiio = out,
% A_4_4_oiiioiii = out,
% A_4_4_iiiioiii = out,
% A_4_4_oiiioiio = out,
% A_4_4_iiiioooo = out,
% A_4_4_oiiioooi = out,
% A_4_4_iiiioooi = out,
% A_4_4_oiiioooo = out,
% A_4_4_iiiiooio = out,
% A_4_4_oiiiooii = out,
% A_4_4_iiiiooii = out,
% A_4_4_oiiiooio = out,
% A_4_4_iiioiioo = out,
% A_4_4_oiioiioi = out,
% A_4_4_iiioiioi = out,
% A_4_4_oiioiioo = in,
% A_4_4_iiioiiio = out,
% A_4_4_oiioiiii = out,
% A_4_4_iiioiiii = out,
% A_4_4_oiioiiio = in,
% A_4_4_iiioiooo = out,
% A_4_4_oiioiooi = out,
% A_4_4_iiioiooi = out,
% A_4_4_oiioiooo = in,
% A_4_4_iiioioio = out,
% A_4_4_oiioioii = out,
% A_4_4_iiioioii = out,
% A_4_4_oiioioio = in,
% A_4_4_iiiooioo = out,
% A_4_4_oiiooioi = out,
% A_4_4_iiiooioi = out,
% A_4_4_oiiooioo = in,
% A_4_4_iiiooiio = out,
% A_4_4_oiiooiii = out,
% A_4_4_iiiooiii = out,
% A_4_4_oiiooiio = in,
% A_4_4_iiiooooo = out,
% A_4_4_oiiooooi = out,
% A_4_4_iiiooooi = out,
% A_4_4_oiiooooo = in,
% A_4_4_iiioooio = out,
% A_4_4_oiioooii = out,
% A_4_4_iiioooii = out,
% A_4_4_oiioooio = in,
% A_3_4_iiioiioo = out,
% A_3_4_oiioiioi = out,
% A_3_4_iiioiioi = out,
% A_3_4_oiioiioo = out,
% A_3_4_iiioiiio = out,
% A_3_4_oiioiiii = out,
% A_3_4_iiioiiii = out,
% A_3_4_oiioiiio = out,
% A_3_4_iiioiooo = out,
% A_3_4_oiioiooi = out,
% A_3_4_iiioiooi = out,
% A_3_4_oiioiooo = out,
% A_3_4_iiioioio = out,
% A_3_4_oiioioii = out,
% A_3_4_iiioioii = out,
% A_3_4_oiioioio = out,
% A_3_4_iiiooioo = out,
% A_3_4_oiiooioi = out,
% A_3_4_iiiooioi = out,
% A_3_4_oiiooioo = out,
% A_3_4_iiiooiio = out,
% A_3_4_oiiooiii = out,
% A_3_4_iiiooiii = out,
% A_3_4_oiiooiio = out,
% A_3_4_iiiooooo = out,
% A_3_4_oiiooooi = out,
% A_3_4_iiiooooi = out,
% A_3_4_oiiooooo = out,
% A_3_4_iiioooio = out,
% A_3_4_oiioooii = out,
% A_3_4_iiioooii = out,
% A_3_4_oiioooio = out,
% A_2_4_iiioiioo = out,
% A_2_4_oiioiioi = out,
% A_2_4_iiioiioi = out,
% A_2_4_oiioiioo = out,
% A_2_4_iiioiiio = out,
% A_2_4_oiioiiii = out,
% A_2_4_iiioiiii = out,
% A_2_4_oiioiiio = out,
% A_2_4_iiioiooo = out,
% A_2_4_oiioiooi = out,
% A_2_4_iiioiooi = out,
% A_2_4_oiioiooo = out,
% A_2_4_iiioioio = out,
% A_2_4_oiioioii = out,
% A_2_4_iiioioii = out,
% A_2_4_oiioioio = out,
% A_2_4_iiiooioo = out,
% A_2_4_oiiooioi = out,
% A_2_4_iiiooioi = out,
% A_2_4_oiiooioo = out,
% A_2_4_iiiooiio = out,
% A_2_4_oiiooiii = out,
% A_2_4_iiiooiii = out,
% A_2_4_oiiooiio = out,
% A_2_4_iiiooooo = out,
% A_2_4_oiiooooi = out,
% A_2_4_iiiooooi = out,
% A_2_4_oiiooooo = out,
% A_2_4_iiioooio = out,
% A_2_4_oiioooii = out,
% A_2_4_iiioooii = out,
% A_2_4_oiioooio = out,
% A_1_4_iiioiioo = out,
% A_1_4_oiioiioi = out,
% A_1_4_iiioiioi = out,
% A_1_4_oiioiioo = out,
% A_1_4_iiioiiio = out,
% A_1_4_oiioiiii = out,
% A_1_4_iiioiiii = out,
% A_1_4_oiioiiio = out,
% A_1_4_iiioiooo = out,
% A_1_4_oiioiooi = out,
% A_1_4_iiioiooi = out,
% A_1_4_oiioiooo = out,
% A_1_4_iiioioio = out,
% A_1_4_oiioioii = out,
% A_1_4_iiioioii = out,
% A_1_4_oiioioio = out,
% A_1_4_iiiooioo = out,
% A_1_4_oiiooioi = out,
% A_1_4_iiiooioi = out,
% A_1_4_oiiooioo = out,
% A_1_4_iiiooiio = out,
% A_1_4_oiiooiii = out,
% A_1_4_iiiooiii = out,
% A_1_4_oiiooiio = out,
% A_1_4_iiiooooo = out,
% A_1_4_oiiooooi = out,
% A_1_4_iiiooooi = out,
% A_1_4_oiiooooo = out,
% A_1_4_iiioooio = out,
% A_1_4_oiioooii = out,
% A_1_4_iiioooii = out,
% A_1_4_oiioooio = out,
% A_1_4_iiiiiioo = out,
% A_1_4_oiiiiioi = out,
% A_1_4_iiiiiioi = out,
% A_1_4_oiiiiioo = out,
% A_1_4_iiiiiiio = out,
% A_1_4_oiiiiiii = out,
% A_1_4_iiiiiiii = out,
% A_1_4_oiiiiiio = out,
% A_1_4_iiiiiooo = out,
% A_1_4_oiiiiooi = out,
% A_1_4_iiiiiooi = out,
% A_1_4_oiiiiooo = out,
% A_1_4_iiiiioio = out,
% A_1_4_oiiiioii = out,
% A_1_4_iiiiioii = out,
% A_1_4_oiiiioio = out,
% A_1_4_iiiioioo = out,
% A_1_4_oiiioioi = out,
% A_1_4_iiiioioi = out,
% A_1_4_oiiioioo = out,
% A_1_4_iiiioiio = out,
% A_1_4_oiiioiii = out,
% A_1_4_iiiioiii = out,
% A_1_4_oiiioiio = out,
% A_1_4_iiiioooo = out,
% A_1_4_oiiioooi = out,
% A_1_4_iiiioooi = out,
% A_1_4_oiiioooo = out,
% A_1_4_iiiiooio = out,
% A_1_4_oiiiooii = out,
% A_1_4_iiiiooii = out,
% A_1_4_oiiiooio = out,
% A_3_4_iioiiioo = out,
% A_3_4_oioiiioi = in,
% A_3_4_iioiiioi = out,
% A_3_4_oioiiioo = in,
% A_3_4_iioiiiio = out,
% A_3_4_oioiiiii = out,
% A_3_4_iioiiiii = out,
% A_3_4_oioiiiio = out,
% A_3_4_iioiiooo = out,
% A_3_4_oioiiooi = in,
% A_3_4_iioiiooi = out,
% A_3_4_oioiiooo = in,
% A_3_4_iioiioio = out,
% A_3_4_oioiioii = out,
% A_3_4_iioiioii = out,
% A_3_4_oioiioio = out,
% A_3_4_iioioioo = out,
% A_3_4_oioioioi = in,
% A_3_4_iioioioi = out,
% A_3_4_oioioioo = in,
% A_3_4_iioioiio = out,
% A_3_4_oioioiii = out,
% A_3_4_iioioiii = out,
% A_3_4_oioioiio = out,
% A_3_4_iioioooo = out,
% A_3_4_oioioooi = in,
% A_3_4_iioioooi = out,
% A_3_4_oioioooo = in,
% A_3_4_iioiooio = out,
% A_3_4_oioiooii = out,
% A_3_4_iioiooii = out,
% A_3_4_oioiooio = out,
% A_2_4_iioiiioo = out,
% A_2_4_oioiiioi = out,
% A_2_4_iioiiioi = out,
% A_2_4_oioiiioo = out,
% A_2_4_iioiiiio = out,
% A_2_4_oioiiiii = out,
% A_2_4_iioiiiii = out,
% A_2_4_oioiiiio = out,
% A_2_4_iioiiooo = out,
% A_2_4_oioiiooi = out,
% A_2_4_iioiiooi = out,
% A_2_4_oioiiooo = out,
% A_2_4_iioiioio = out,
% A_2_4_oioiioii = out,
% A_2_4_iioiioii = out,
% A_2_4_oioiioio = out,
% A_2_4_iioioioo = out,
% A_2_4_oioioioi = out,
% A_2_4_iioioioi = out,
% A_2_4_oioioioo = out,
% A_2_4_iioioiio = out,
% A_2_4_oioioiii = out,
% A_2_4_iioioiii = out,
% A_2_4_oioioiio = out,
% A_2_4_iioioooo = out,
% A_2_4_oioioooi = out,
% A_2_4_iioioooi = out,
% A_2_4_oioioooo = out,
% A_2_4_iioiooio = out,
% A_2_4_oioiooii = out,
% A_2_4_iioiooii = out,
% A_2_4_oioiooio = out,
% A_4_4_iioiiioo = out,
% A_4_4_oioiiioi = out,
% A_4_4_iioiiioi = out,
% A_4_4_oioiiioo = out,
% A_4_4_iioiiiio = out,
% A_4_4_oioiiiii = out,
% A_4_4_iioiiiii = out,
% A_4_4_oioiiiio = out,
% A_4_4_iioiiooo = out,
% A_4_4_oioiiooi = out,
% A_4_4_iioiiooi = out,
% A_4_4_oioiiooo = out,
% A_4_4_iioiioio = out,
% A_4_4_oioiioii = out,
% A_4_4_iioiioii = out,
% A_4_4_oioiioio = out,
% A_4_4_iioioioo = out,
% A_4_4_oioioioi = out,
% A_4_4_iioioioi = out,
% A_4_4_oioioioo = out,
% A_4_4_iioioiio = out,
% A_4_4_oioioiii = out,
% A_4_4_iioioiii = out,
% A_4_4_oioioiio = out,
% A_4_4_iioioooo = out,
% A_4_4_oioioooi = out,
% A_4_4_iioioooi = out,
% A_4_4_oioioooo = out,
% A_4_4_iioiooio = out,
% A_4_4_oioiooii = out,
% A_4_4_iioiooii = out,
% A_4_4_oioiooio = out,
% A_4_4_iiooiioo = in,
% A_4_4_oiooiioi = out,
% A_4_4_iiooiioi = out,
% A_4_4_oiooiioo = in,
% A_4_4_iiooiiio = in,
% A_4_4_oiooiiii = out,
% A_4_4_iiooiiii = out,
% A_4_4_oiooiiio = in,
% A_4_4_iiooiooo = in,
% A_4_4_oiooiooi = out,
% A_4_4_iiooiooi = out,
% A_4_4_oiooiooo = in,
% A_4_4_iiooioio = in,
% A_4_4_oiooioii = out,
% A_4_4_iiooioii = out,
% A_4_4_oiooioio = in,
% A_4_4_iioooioo = in,
% A_4_4_oioooioi = out,
% A_4_4_iioooioi = out,
% A_4_4_oioooioo = in,
% A_4_4_iioooiio = in,
% A_4_4_oioooiii = out,
% A_4_4_iioooiii = out,
% A_4_4_oioooiio = in,
% A_4_4_iioooooo = in,
% A_4_4_oioooooi = out,
% A_4_4_iioooooi = out,
% A_4_4_oioooooo = in,
% A_4_4_iiooooio = in,
% A_4_4_oiooooii = out,
% A_4_4_iiooooii = out,
% A_4_4_oiooooio = in,
% A_3_4_iiooiioo = out,
% A_3_4_oiooiioi = out,
% A_3_4_iiooiioi = out,
% A_3_4_oiooiioo = out,
% A_3_4_iiooiiio = out,
% A_3_4_oiooiiii = out,
% A_3_4_iiooiiii = out,
% A_3_4_oiooiiio = out,
% A_3_4_iiooiooo = out,
% A_3_4_oiooiooi = out,
% A_3_4_iiooiooi = out,
% A_3_4_oiooiooo = out,
% A_3_4_iiooioio = out,
% A_3_4_oiooioii = out,
% A_3_4_iiooioii = out,
% A_3_4_oiooioio = out,
% A_3_4_iioooioo = out,
% A_3_4_oioooioi = out,
% A_3_4_iioooioi = out,
% A_3_4_oioooioo = out,
% A_3_4_iioooiio = out,
% A_3_4_oioooiii = out,
% A_3_4_iioooiii = out,
% A_3_4_oioooiio = out,
% A_3_4_iioooooo = out,
% A_3_4_oioooooi = out,
% A_3_4_iioooooi = out,
% A_3_4_oioooooo = out,
% A_3_4_iiooooio = out,
% A_3_4_oiooooii = out,
% A_3_4_iiooooii = out,
% A_3_4_oiooooio = out,
% A_2_4_iiooiioo = out,
% A_2_4_oiooiioi = out,
% A_2_4_iiooiioi = out,
% A_2_4_oiooiioo = out,
% A_2_4_iiooiiio = out,
% A_2_4_oiooiiii = out,
% A_2_4_iiooiiii = out,
% A_2_4_oiooiiio = out,
% A_2_4_iiooiooo = out,
% A_2_4_oiooiooi = out,
% A_2_4_iiooiooi = out,
% A_2_4_oiooiooo = out,
% A_2_4_iiooioio = out,
% A_2_4_oiooioii = out,
% A_2_4_iiooioii = out,
% A_2_4_oiooioio = out,
% A_2_4_iioooioo = out,
% A_2_4_oioooioi = out,
% A_2_4_iioooioi = out,
% A_2_4_oioooioo = out,
% A_2_4_iioooiio = out,
% A_2_4_oioooiii = out,
% A_2_4_iioooiii = out,
% A_2_4_oioooiio = out,
% A_2_4_iioooooo = out,
% A_2_4_oioooooi = out,
% A_2_4_iioooooi = out,
% A_2_4_oioooooo = out,
% A_2_4_iiooooio = out,
% A_2_4_oiooooii = out,
% A_2_4_iiooooii = out,
% A_2_4_oiooooio = out,
% A_1_4_iiooiioo = out,
% A_1_4_oiooiioi = out,
% A_1_4_iiooiioi = out,
% A_1_4_oiooiioo = out,
% A_1_4_iiooiiio = out,
% A_1_4_oiooiiii = out,
% A_1_4_iiooiiii = out,
% A_1_4_oiooiiio = out,
% A_1_4_iiooiooo = out,
% A_1_4_oiooiooi = out,
% A_1_4_iiooiooi = out,
% A_1_4_oiooiooo = out,
% A_1_4_iiooioio = out,
% A_1_4_oiooioii = out,
% A_1_4_iiooioii = out,
% A_1_4_oiooioio = out,
% A_1_4_iioooioo = out,
% A_1_4_oioooioi = in,
% A_1_4_iioooioi = out,
% A_1_4_oioooioo = out,
% A_1_4_iioooiio = out,
% A_1_4_oioooiii = in,
% A_1_4_iioooiii = out,
% A_1_4_oioooiio = out,
% A_1_4_iioooooo = out,
% A_1_4_oioooooi = in,
% A_1_4_iioooooi = out,
% A_1_4_oioooooo = out,
% A_1_4_iiooooio = out,
% A_1_4_oiooooii = in,
% A_1_4_iiooooii = out,
% A_1_4_oiooooio = out,
% A_1_4_iioiiioo = out,
% A_1_4_oioiiioi = out,
% A_1_4_iioiiioi = out,
% A_1_4_oioiiioo = out,
% A_1_4_iioiiiio = out,
% A_1_4_oioiiiii = out,
% A_1_4_iioiiiii = out,
% A_1_4_oioiiiio = out,
% A_1_4_iioiiooo = out,
% A_1_4_oioiiooi = out,
% A_1_4_iioiiooi = out,
% A_1_4_oioiiooo = out,
% A_1_4_iioiioio = out,
% A_1_4_oioiioii = out,
% A_1_4_iioiioii = out,
% A_1_4_oioiioio = out,
% A_1_4_iioioioo = out,
% A_1_4_oioioioi = out,
% A_1_4_iioioioi = out,
% A_1_4_oioioioo = out,
% A_1_4_iioioiio = out,
% A_1_4_oioioiii = out,
% A_1_4_iioioiii = out,
% A_1_4_oioioiio = out,
% A_1_4_iioioooo = out,
% A_1_4_oioioooi = out,
% A_1_4_iioioooi = out,
% A_1_4_oioioooo = out,
% A_1_4_iioiooio = out,
% A_1_4_oioiooii = out,
% A_1_4_iioiooii = out,
% A_1_4_oioiooio = out,
% Ch_ioioiooi = in,
% Ch_ooioiooo = out,
% Ch_ioioiooo = in,
% Ch_ooioiooi = in,
% Ch_ioioioii = in,
% Ch_ooioioio = in,
% Ch_ioioioio = in,
% Ch_ooioioii = in,
% Ch_ioioiioi = in,
% Ch_ooioiioo = in,
% Ch_ioioiioo = in,
% Ch_ooioiioi = in,
% Ch_ioioiiii = in,
% Ch_ooioiiio = in,
% Ch_ioioiiio = in,
% Ch_ooioiiii = in,
% Ch_ioiooooi = in,
% Ch_ooiooooo = in,
% Ch_ioiooooo = in,
% Ch_ooiooooi = out,
% Ch_ioioooii = in,
% Ch_ooioooio = in,
% Ch_ioioooio = in,
% Ch_ooioooii = in,
% Ch_ioiooioi = in,
% Ch_ooiooioo = in,
% Ch_ioiooioo = in,
% Ch_ooiooioi = in,
% Ch_ioiooiii = in,
% Ch_ooiooiio = in,
% Ch_ioiooiio = in,
% Ch_ooiooiii = in,
% Ch_ioiiiooi = in,
% Ch_ooiiiooo = in,
% Ch_ioiiiooo = in,
% Ch_ooiiiooi = in,
% Ch_ioiiioii = in,
% Ch_ooiiioio = in,
% Ch_ioiiioio = in,
% Ch_ooiiioii = in,
% Ch_ioiiiioi = in,
% Ch_ooiiiioo = in,
% Ch_ioiiiioo = in,
% Ch_ooiiiioi = in,
% Ch_ioiiiiii = in,
% Ch_ooiiiiio = in,
% Ch_ioiiiiio = in,
% Ch_ooiiiiii = in,
% Ch_ioiioooi = in,
% Ch_ooiioooo = in,
% Ch_ioiioooo = in,
% Ch_ooiioooi = in,
% Ch_ioiiooii = in,
% Ch_ooiiooio = in,
% Ch_ioiiooio = in,
% Ch_ooiiooii = in,
% Ch_ioiioioi = in,
% Ch_ooiioioo = in,
% Ch_ioiioioo = in,
% Ch_ooiioioi = in,
% Ch_ioiioiii = in,
% Ch_ooiioiio = in,
% Ch_ioiioiio = in,
% Ch_ooiioiii = in,
% Ch_ioooiooi = in,
% Ch_ooooiooo = in,
% Ch_ioooiooo = in,
% Ch_ooooiooi = in,
% Ch_ioooioii = in,
% Ch_ooooioio = in,
% Ch_ioooioio = in,
% Ch_ooooioii = in,
% Ch_ioooiioi = in,
% Ch_ooooiioo = in,
% Ch_ioooiioo = in,
% Ch_ooooiioi = in,
% Ch_ioooiiii = in,
% Ch_ooooiiio = in,
% Ch_ioooiiio = in,
% Ch_ooooiiii = in,
% Ch_iooooooi = in,
% Ch_oooooooo = in,
% Ch_iooooooo = in,
% Ch_oooooooi = in,
% Ch_ioooooii = in,
% Ch_ooooooio = in,
% Ch_ioooooio = out,
% Ch_ooooooii = in,
% Ch_iooooioi = in,
% Ch_oooooioo = in,
% Ch_iooooioo = out,
% Ch_oooooioi = in,
% Ch_iooooiii = in,
% Ch_oooooiio = in,
% Ch_iooooiio = in,
% Ch_oooooiii = in,
% Ch_iooiiooi = in,
% Ch_oooiiooo = in,
% Ch_iooiiooo = in,
% Ch_oooiiooi = in,
% Ch_iooiioii = in,
% Ch_oooiioio = in,
% Ch_iooiioio = in,
% Ch_oooiioii = in,
% Ch_iooiiioi = in,
% Ch_oooiiioo = in,
% Ch_iooiiioo = in,
% Ch_oooiiioi = in,
% Ch_iooiiiii = in,
% Ch_oooiiiio = in,
% Ch_iooiiiio = in,
% Ch_oooiiiii = in,
% Ch_iooioooi = in,
% Ch_oooioooo = in,
% Ch_iooioooo = in,
% Ch_oooioooi = in,
% Ch_iooiooii = in,
% Ch_oooiooio = out,
% Ch_iooiooio = in,
% Ch_oooiooii = in,
% Ch_iooioioi = in,
% Ch_oooioioo = out,
% Ch_iooioioo = in,
% Ch_oooioioi = in,
% Ch_iooioiii = in,
% Ch_oooioiio = in,
% Ch_iooioiio = in,
% Ch_oooioiii = in,
% A_3_4_ooiiiioi = out,
% A_3_4_ioiiiioi = out,
% A_3_4_ioiiiioo = out,
% A_3_4_ooiiiioo = out,
% A_3_4_ooiiiiii = out,
% A_3_4_ioiiiiii = out,
% A_3_4_ioiiiiio = out,
% A_3_4_ooiiiiio = out,
% A_3_4_ooiiiooi = out,
% A_3_4_ioiiiooi = out,
% A_3_4_ioiiiooo = out,
% A_3_4_ooiiiooo = out,
% A_3_4_ooiiioii = out,
% A_3_4_ioiiioii = out,
% A_3_4_ioiiioio = out,
% A_3_4_ooiiioio = out,
% A_3_4_ooiioioi = out,
% A_3_4_ioiioioi = out,
% A_3_4_ioiioioo = out,
% A_3_4_ooiioioo = out,
% A_3_4_ooiioiii = out,
% A_3_4_ioiioiii = out,
% A_3_4_ioiioiio = out,
% A_3_4_ooiioiio = out,
% A_3_4_ooiioooi = out,
% A_3_4_ioiioooi = out,
% A_3_4_ioiioooo = out,
% A_3_4_ooiioooo = out,
% A_3_4_ooiiooii = out,
% A_3_4_ioiiooii = out,
% A_3_4_ioiiooio = out,
% A_3_4_ooiiooio = out,
% A_2_4_ooiiiioi = out,
% A_2_4_ioiiiioi = out,
% A_2_4_ioiiiioo = out,
% A_2_4_ooiiiioo = out,
% A_2_4_ooiiiiii = out,
% A_2_4_ioiiiiii = out,
% A_2_4_ioiiiiio = out,
% A_2_4_ooiiiiio = out,
% A_2_4_ooiiiooi = in,
% A_2_4_ioiiiooi = out,
% A_2_4_ioiiiooo = out,
% A_2_4_ooiiiooo = in,
% A_2_4_ooiiioii = in,
% A_2_4_ioiiioii = out,
% A_2_4_ioiiioio = out,
% A_2_4_ooiiioio = in,
% A_2_4_ooiioioi = out,
% A_2_4_ioiioioi = out,
% A_2_4_ioiioioo = out,
% A_2_4_ooiioioo = out,
% A_2_4_ooiioiii = out,
% A_2_4_ioiioiii = out,
% A_2_4_ioiioiio = out,
% A_2_4_ooiioiio = out,
% A_2_4_ooiioooi = in,
% A_2_4_ioiioooi = out,
% A_2_4_ioiioooo = out,
% A_2_4_ooiioooo = in,
% A_2_4_ooiiooii = in,
% A_2_4_ioiiooii = out,
% A_2_4_ioiiooio = out,
% A_2_4_ooiiooio = in,
% A_4_4_ooiiiioi = out,
% A_4_4_ioiiiioi = out,
% A_4_4_ioiiiioo = out,
% A_4_4_ooiiiioo = out,
% A_4_4_ooiiiiii = out,
% A_4_4_ioiiiiii = out,
% A_4_4_ioiiiiio = out,
% A_4_4_ooiiiiio = out,
% A_4_4_ooiiiooi = out,
% A_4_4_ioiiiooi = out,
% A_4_4_ioiiiooo = out,
% A_4_4_ooiiiooo = out,
% A_4_4_ooiiioii = out,
% A_4_4_ioiiioii = out,
% A_4_4_ioiiioio = out,
% A_4_4_ooiiioio = out,
% A_4_4_ooiioioi = out,
% A_4_4_ioiioioi = out,
% A_4_4_ioiioioo = out,
% A_4_4_ooiioioo = out,
% A_4_4_ooiioiii = out,
% A_4_4_ioiioiii = out,
% A_4_4_ioiioiio = out,
% A_4_4_ooiioiio = out,
% A_4_4_ooiioooi = out,
% A_4_4_ioiioooi = out,
% A_4_4_ioiioooo = out,
% A_4_4_ooiioooo = out,
% A_4_4_ooiiooii = out,
% A_4_4_ioiiooii = out,
% A_4_4_ioiiooio = out,
% A_4_4_ooiiooio = out,
% A_4_4_ooioiioi = out,
% A_4_4_ioioiioi = out,
% A_4_4_ioioiioo = in,
% A_4_4_ooioiioo = in,
% A_4_4_ooioiiii = out,
% A_4_4_ioioiiii = out,
% A_4_4_ioioiiio = in,
% A_4_4_ooioiiio = in,
% A_4_4_ooioiooi = out,
% A_4_4_ioioiooi = out,
% A_4_4_ioioiooo = in,
% A_4_4_ooioiooo = in,
% A_4_4_ooioioii = out,
% A_4_4_ioioioii = out,
% A_4_4_ioioioio = in,
% A_4_4_ooioioio = in,
% A_4_4_ooiooioi = out,
% A_4_4_ioiooioi = out,
% A_4_4_ioiooioo = in,
% A_4_4_ooiooioo = in,
% A_4_4_ooiooiii = out,
% A_4_4_ioiooiii = out,
% A_4_4_ioiooiio = in,
% A_4_4_ooiooiio = in,
% A_4_4_ooiooooi = out,
% A_4_4_ioiooooi = out,
% A_4_4_ioiooooo = in,
% A_4_4_ooiooooo = in,
% A_4_4_ooioooii = out,
% A_4_4_ioioooii = out,
% A_4_4_ioioooio = in,
% A_4_4_ooioooio = in,
% A_3_4_ooioiioi = out,
% A_3_4_ioioiioi = out,
% A_3_4_ioioiioo = out,
% A_3_4_ooioiioo = out,
% A_3_4_ooioiiii = out,
% A_3_4_ioioiiii = out,
% A_3_4_ioioiiio = out,
% A_3_4_ooioiiio = out,
% A_3_4_ooioiooi = out,
% A_3_4_ioioiooi = out,
% A_3_4_ioioiooo = out,
% A_3_4_ooioiooo = out,
% A_3_4_ooioioii = out,
% A_3_4_ioioioii = out,
% A_3_4_ioioioio = out,
% A_3_4_ooioioio = out,
% A_3_4_ooiooioi = out,
% A_3_4_ioiooioi = out,
% A_3_4_ioiooioo = out,
% A_3_4_ooiooioo = out,
% A_3_4_ooiooiii = out,
% A_3_4_ioiooiii = out,
% A_3_4_ioiooiio = out,
% A_3_4_ooiooiio = out,
% A_3_4_ooiooooi = out,
% A_3_4_ioiooooi = out,
% A_3_4_ioiooooo = out,
% A_3_4_ooiooooo = out,
% A_3_4_ooioooii = out,
% A_3_4_ioioooii = out,
% A_3_4_ioioooio = out,
% A_3_4_ooioooio = out,
% A_2_4_ooioiioi = out,
% A_2_4_ioioiioi = out,
% A_2_4_ioioiioo = out,
% A_2_4_ooioiioo = out,
% A_2_4_ooioiiii = out,
% A_2_4_ioioiiii = out,
% A_2_4_ioioiiio = out,
% A_2_4_ooioiiio = out,
% A_2_4_ooioiooi = out,
% A_2_4_ioioiooi = out,
% A_2_4_ioioiooo = out,
% A_2_4_ooioiooo = out,
% A_2_4_ooioioii = out,
% A_2_4_ioioioii = out,
% A_2_4_ioioioio = out,
% A_2_4_ooioioio = out,
% A_2_4_ooiooioi = out,
% A_2_4_ioiooioi = out,
% A_2_4_ioiooioo = out,
% A_2_4_ooiooioo = out,
% A_2_4_ooiooiii = out,
% A_2_4_ioiooiii = out,
% A_2_4_ioiooiio = out,
% A_2_4_ooiooiio = out,
% A_2_4_ooiooooi = out,
% A_2_4_ioiooooi = out,
% A_2_4_ioiooooo = out,
% A_2_4_ooiooooo = out,
% A_2_4_ooioooii = out,
% A_2_4_ioioooii = out,
% A_2_4_ioioooio = out,
% A_2_4_ooioooio = out,
% A_1_4_ooioiioi = out,
% A_1_4_ioioiioi = out,
% A_1_4_ioioiioo = out,
% A_1_4_ooioiioo = out,
% A_1_4_ooioiiii = out,
% A_1_4_ioioiiii = out,
% A_1_4_ioioiiio = out,
% A_1_4_ooioiiio = out,
% A_1_4_ooioiooi = out,
% A_1_4_ioioiooi = out,
% A_1_4_ioioiooo = out,
% A_1_4_ooioiooo = out,
% A_1_4_ooioioii = out,
% A_1_4_ioioioii = out,
% A_1_4_ioioioio = out,
% A_1_4_ooioioio = out,
% A_1_4_ooiooioi = in,
% A_1_4_ioiooioi = out,
% A_1_4_ioiooioo = out,
% A_1_4_ooiooioo = out,
% A_1_4_ooiooiii = in,
% A_1_4_ioiooiii = out,
% A_1_4_ioiooiio = out,
% A_1_4_ooiooiio = out,
% A_1_4_ooiooooi = in,
% A_1_4_ioiooooi = out,
% A_1_4_ioiooooo = out,
% A_1_4_ooiooooo = out,
% A_1_4_ooioooii = in,
% A_1_4_ioioooii = out,
% A_1_4_ioioooio = out,
% A_1_4_ooioooio = out,
% A_1_4_ooiiiioi = out,
% A_1_4_ioiiiioi = out,
% A_1_4_ioiiiioo = out,
% A_1_4_ooiiiioo = out,
% A_1_4_ooiiiiii = out,
% A_1_4_ioiiiiii = out,
% A_1_4_ioiiiiio = out,
% A_1_4_ooiiiiio = out,
% A_1_4_ooiiiooi = out,
% A_1_4_ioiiiooi = out,
% A_1_4_ioiiiooo = out,
% A_1_4_ooiiiooo = out,
% A_1_4_ooiiioii = out,
% A_1_4_ioiiioii = out,
% A_1_4_ioiiioio = out,
% A_1_4_ooiiioio = out,
% A_1_4_ooiioioi = out,
% A_1_4_ioiioioi = out,
% A_1_4_ioiioioo = out,
% A_1_4_ooiioioo = out,
% A_1_4_ooiioiii = out,
% A_1_4_ioiioiii = out,
% A_1_4_ioiioiio = out,
% A_1_4_ooiioiio = out,
% A_1_4_ooiioooi = out,
% A_1_4_ioiioooi = out,
% A_1_4_ioiioooo = out,
% A_1_4_ooiioooo = out,
% A_1_4_ooiiooii = out,
% A_1_4_ioiiooii = out,
% A_1_4_ioiiooio = out,
% A_1_4_ooiiooio = out,
% A_3_4_oooiiioi = in,
% A_3_4_iooiiioi = in,
% A_3_4_iooiiioo = in,
% A_3_4_oooiiioo = in,
% A_3_4_oooiiiii = out,
% A_3_4_iooiiiii = out,
% A_3_4_iooiiiio = out,
% A_3_4_oooiiiio = out,
% A_3_4_oooiiooi = in,
% A_3_4_iooiiooi = in,
% A_3_4_iooiiooo = in,
% A_3_4_oooiiooo = in,
% A_3_4_oooiioii = out,
% A_3_4_iooiioii = out,
% A_3_4_iooiioio = out,
% A_3_4_oooiioio = out,
% A_3_4_oooioioi = in,
% A_3_4_iooioioi = in,
% A_3_4_iooioioo = in,
% A_3_4_oooioioo = in,
% A_3_4_oooioiii = out,
% A_3_4_iooioiii = out,
% A_3_4_iooioiio = out,
% A_3_4_oooioiio = out,
% A_3_4_oooioooi = in,
% A_3_4_iooioooi = in,
% A_3_4_iooioooo = in,
% A_3_4_oooioooo = in,
% A_3_4_oooiooii = out,
% A_3_4_iooiooii = out,
% A_3_4_iooiooio = out,
% A_3_4_oooiooio = out,
% A_2_4_oooiiioi = out,
% A_2_4_iooiiioi = out,
% A_2_4_iooiiioo = out,
% A_2_4_oooiiioo = out,
% A_2_4_oooiiiii = out,
% A_2_4_iooiiiii = out,
% A_2_4_iooiiiio = out,
% A_2_4_oooiiiio = out,
% A_2_4_oooiiooi = out,
% A_2_4_iooiiooi = out,
% A_2_4_iooiiooo = out,
% A_2_4_oooiiooo = out,
% A_2_4_oooiioii = in,
% A_2_4_iooiioii = out,
% A_2_4_iooiioio = out,
% A_2_4_oooiioio = in,
% A_2_4_oooioioi = out,
% A_2_4_iooioioi = out,
% A_2_4_iooioioo = out,
% A_2_4_oooioioo = out,
% A_2_4_oooioiii = out,
% A_2_4_iooioiii = out,
% A_2_4_iooioiio = out,
% A_2_4_oooioiio = out,
% A_2_4_oooioooi = out,
% A_2_4_iooioooi = out,
% A_2_4_iooioooo = out,
% A_2_4_oooioooo = out,
% A_2_4_oooiooii = in,
% A_2_4_iooiooii = out,
% A_2_4_iooiooio = out,
% A_2_4_oooiooio = in,
% A_4_4_oooiiioi = out,
% A_4_4_iooiiioi = out,
% A_4_4_iooiiioo = out,
% A_4_4_oooiiioo = out,
% A_4_4_oooiiiii = out,
% A_4_4_iooiiiii = out,
% A_4_4_iooiiiio = out,
% A_4_4_oooiiiio = out,
% A_4_4_oooiiooi = out,
% A_4_4_iooiiooi = out,
% A_4_4_iooiiooo = out,
% A_4_4_oooiiooo = out,
% A_4_4_oooiioii = out,
% A_4_4_iooiioii = out,
% A_4_4_iooiioio = out,
% A_4_4_oooiioio = out,
% A_4_4_oooioioi = out,
% A_4_4_iooioioi = out,
% A_4_4_iooioioo = out,
% A_4_4_oooioioo = out,
% A_4_4_oooioiii = out,
% A_4_4_iooioiii = out,
% A_4_4_iooioiio = out,
% A_4_4_oooioiio = out,
% A_4_4_oooioooi = out,
% A_4_4_iooioooi = out,
% A_4_4_iooioooo = out,
% A_4_4_oooioooo = out,
% A_4_4_oooiooii = out,
% A_4_4_iooiooii = out,
% A_4_4_iooiooio = out,
% A_4_4_oooiooio = out,
% A_4_4_ooooiioi = out,
% A_4_4_ioooiioi = out,
% A_4_4_ioooiioo = out,
% A_4_4_ooooiioo = in,
% A_4_4_ooooiiii = out,
% A_4_4_ioooiiii = out,
% A_4_4_ioooiiio = out,
% A_4_4_ooooiiio = in,
% A_4_4_ooooiooi = out,
% A_4_4_ioooiooi = out,
% A_4_4_ioooiooo = out,
% A_4_4_ooooiooo = in,
% A_4_4_ooooioii = out,
% A_4_4_ioooioii = out,
% A_4_4_ioooioio = out,
% A_4_4_ooooioio = in,
% A_4_4_oooooioi = out,
% A_4_4_iooooioi = out,
% A_4_4_iooooioo = out,
% A_4_4_oooooioo = in,
% A_4_4_oooooiii = out,
% A_4_4_iooooiii = out,
% A_4_4_iooooiio = out,
% A_4_4_oooooiio = in,
% A_4_4_oooooooi = out,
% A_4_4_iooooooi = out,
% A_4_4_iooooooo = out,
% A_4_4_oooooooo = out,
% A_4_4_ooooooii = out,
% A_4_4_ioooooii = out,
% A_4_4_ioooooio = out,
% A_4_4_ooooooio = in,
% A_3_4_ooooiioi = in,
% A_3_4_ioooiioi = in,
% A_3_4_ioooiioo = in,
% A_3_4_ooooiioo = out,
% A_3_4_ooooiiii = out,
% A_3_4_ioooiiii = out,
% A_3_4_ioooiiio = out,
% A_3_4_ooooiiio = out,
% A_3_4_ooooiooi = in,
% A_3_4_ioooiooi = in,
% A_3_4_ioooiooo = in,
% A_3_4_ooooiooo = out,
% A_3_4_ooooioii = out,
% A_3_4_ioooioii = out,
% A_3_4_ioooioio = out,
% A_3_4_ooooioio = out,
% A_3_4_oooooioi = in,
% A_3_4_iooooioi = in,
% A_3_4_iooooioo = in,
% A_3_4_oooooioo = out,
% A_3_4_oooooiii = out,
% A_3_4_iooooiii = out,
% A_3_4_iooooiio = out,
% A_3_4_oooooiio = out,
% A_3_4_oooooooi = in,
% A_3_4_iooooooi = in,
% A_3_4_iooooooo = in,
% A_3_4_oooooooo = out,
% A_3_4_ooooooii = out,
% A_3_4_ioooooii = out,
% A_3_4_ioooooio = out,
% A_3_4_ooooooio = out,
% A_2_4_ooooiioi = out,
% A_2_4_ioooiioi = out,
% A_2_4_ioooiioo = out,
% A_2_4_ooooiioo = out,
% A_2_4_ooooiiii = out,
% A_2_4_ioooiiii = out,
% A_2_4_ioooiiio = out,
% A_2_4_ooooiiio = out,
% A_2_4_ooooiooi = out,
% A_2_4_ioooiooi = out,
% A_2_4_ioooiooo = out,
% A_2_4_ooooiooo = out,
% A_2_4_ooooioii = in,
% A_2_4_ioooioii = in,
% A_2_4_ioooioio = in,
% A_2_4_ooooioio = out,
% A_2_4_oooooioi = out,
% A_2_4_iooooioi = out,
% A_2_4_iooooioo = out,
% A_2_4_oooooioo = out,
% A_2_4_oooooiii = out,
% A_2_4_iooooiii = out,
% A_2_4_iooooiio = out,
% A_2_4_oooooiio = out,
% A_2_4_oooooooi = out,
% A_2_4_iooooooi = out,
% A_2_4_iooooooo = out,
% A_2_4_oooooooo = in,
% A_2_4_ooooooii = in,
% A_2_4_ioooooii = in,
% A_2_4_ioooooio = in,
% A_2_4_ooooooio = out,
% A_1_4_ooooiioi = out,
% A_1_4_ioooiioi = out,
% A_1_4_ioooiioo = out,
% A_1_4_ooooiioo = out,
% A_1_4_ooooiiii = out,
% A_1_4_ioooiiii = out,
% A_1_4_ioooiiio = out,
% A_1_4_ooooiiio = out,
% A_1_4_ooooiooi = out,
% A_1_4_ioooiooi = out,
% A_1_4_ioooiooo = out,
% A_1_4_ooooiooo = out,
% A_1_4_ooooioii = out,
% A_1_4_ioooioii = out,
% A_1_4_ioooioio = out,
% A_1_4_ooooioio = out,
% A_1_4_oooooioi = out,
% A_1_4_iooooioi = out,
% A_1_4_iooooioo = out,
% A_1_4_oooooioo = out,
% A_1_4_oooooiii = out,
% A_1_4_iooooiii = out,
% A_1_4_iooooiio = out,
% A_1_4_oooooiio = out,
% A_1_4_oooooooi = out,
% A_1_4_iooooooi = out,
% A_1_4_iooooooo = out,
% A_1_4_oooooooo = out,
% A_1_4_ooooooii = out,
% A_1_4_ioooooii = out,
% A_1_4_ioooooio = out,
% A_1_4_ooooooio = out,
% A_1_4_oooiiioi = out,
% A_1_4_iooiiioi = out,
% A_1_4_iooiiioo = out,
% A_1_4_oooiiioo = out,
% A_1_4_oooiiiii = out,
% A_1_4_iooiiiii = out,
% A_1_4_iooiiiio = out,
% A_1_4_oooiiiio = out,
% A_1_4_oooiiooi = out,
% A_1_4_iooiiooi = out,
% A_1_4_iooiiooo = out,
% A_1_4_oooiiooo = out,
% A_1_4_oooiioii = out,
% A_1_4_iooiioii = out,
% A_1_4_iooiioio = out,
% A_1_4_oooiioio = out,
% A_1_4_oooioioi = out,
% A_1_4_iooioioi = out,
% A_1_4_iooioioo = out,
% A_1_4_oooioioo = out,
% A_1_4_oooioiii = out,
% A_1_4_iooioiii = out,
% A_1_4_iooioiio = out,
% A_1_4_oooioiio = out,
% A_1_4_oooioooi = out,
% A_1_4_iooioooi = out,
% A_1_4_iooioooo = out,
% A_1_4_oooioooo = out,
% A_1_4_oooiooii = out,
% A_1_4_iooiooii = out,
% A_1_4_iooiooio = out,
% A_1_4_oooiooio = out ? 
% yes

