_ > [].
_T > [[]|_T].
[X|_T] > [preds(X)|_T].
_T > [[]|_T].
_T > [int|_T].
_T > ['X_INTRODUCED_42'|_T].
_T > [[]|_T].
_T > [lit(1,int)|_T].
_T > [lit(-1,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
[VAL,AN,ID,T|_T] > [var(ID, array(T,1,2), VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int|_T].
_T > ['X_INTRODUCED_45'|_T].
_T > [[]|_T].
_T > [lit(1,int)|_T].
_T > [lit(-1,int)|_T].
_T > [lit(1,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
[VAL,AN,ID,T|_T] > [var(ID, array(T,1,3), VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int|_T].
_T > ['X_INTRODUCED_70'|_T].
_T > [[]|_T].
_T > [lit(1,int)|_T].
_T > [lit(1,int)|_T].
_T > [lit(-1,int)|_T].
_T > [lit(-1,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
[VAL,AN,ID,T|_T] > [var(ID, array(T,1,4), VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int(1,6)|_T].
_T > ['X_INTRODUCED_0'|_T].
_T > [[]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int(1,6)|_T].
_T > ['X_INTRODUCED_1'|_T].
_T > [[]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int(1,6)|_T].
_T > ['X_INTRODUCED_2'|_T].
_T > [[]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int(1,6)|_T].
_T > ['X_INTRODUCED_3'|_T].
_T > [[]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int(1,6)|_T].
_T > ['X_INTRODUCED_4'|_T].
_T > [[]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int(1,6)|_T].
_T > ['X_INTRODUCED_5'|_T].
_T > [[]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_7'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_8'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_9'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_10'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_11'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_14'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_15'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_16'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_17'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_21'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_22'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_23'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_28'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_29'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [[5]|_T].
[Ls|_T] > [[4|Ls]|_T].
[Ls|_T] > [[3|Ls]|_T].
[Ls|_T] > [[2|Ls]|_T].
[Ls|_T] > [[1|Ls]|_T].
[Ls|_T] > [[-1|Ls]|_T].
[Ls|_T] > [[-2|Ls]|_T].
[Ls|_T] > [[-3|Ls]|_T].
[Ls|_T] > [[-4|Ls]|_T].
[Ls|_T] > [[-5|Ls]|_T].
[Ls|_T] > [int(Ls)|_T].
_T > ['X_INTRODUCED_35'|_T].
_T > [id('is_defined_var')|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [[]|_T].
[VAL,AN,ID,T|_T] > [var(ID, T, VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [int(1,6)|_T].
_T > ['costas'|_T].
_T > [lit([1, 2, 3, 4, 5, 6], set(int))|_T].
[E|_T] > [[E]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [id('X_INTRODUCED_0')|_T].
_T > [id('X_INTRODUCED_1')|_T].
_T > [id('X_INTRODUCED_2')|_T].
_T > [id('X_INTRODUCED_3')|_T].
_T > [id('X_INTRODUCED_4')|_T].
_T > [id('X_INTRODUCED_5')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
[VAL,AN,ID,T|_T] > [var(ID, array(T,1,6), VAL, AN)|_T].
[H,T|_T] > [[H|T]|_T].
[X|_T] > [vars(X)|_T].
_T > [[]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_0')|_T].
_T > [id('X_INTRODUCED_1')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_0')|_T].
_T > [id('X_INTRODUCED_2')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_0')|_T].
_T > [id('X_INTRODUCED_3')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_0')|_T].
_T > [id('X_INTRODUCED_4')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_0')|_T].
_T > [id('X_INTRODUCED_5')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_1')|_T].
_T > [id('X_INTRODUCED_2')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_1')|_T].
_T > [id('X_INTRODUCED_3')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_1')|_T].
_T > [id('X_INTRODUCED_4')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_1')|_T].
_T > [id('X_INTRODUCED_5')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_2')|_T].
_T > [id('X_INTRODUCED_3')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_2')|_T].
_T > [id('X_INTRODUCED_4')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_2')|_T].
_T > [id('X_INTRODUCED_5')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_3')|_T].
_T > [id('X_INTRODUCED_4')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_3')|_T].
_T > [id('X_INTRODUCED_5')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_4')|_T].
_T > [id('X_INTRODUCED_5')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_7')|_T].
_T > [id('X_INTRODUCED_1')|_T].
_T > [id('X_INTRODUCED_0')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_7')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_8')|_T].
_T > [id('X_INTRODUCED_2')|_T].
_T > [id('X_INTRODUCED_1')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_8')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_9')|_T].
_T > [id('X_INTRODUCED_3')|_T].
_T > [id('X_INTRODUCED_2')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_9')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_10')|_T].
_T > [id('X_INTRODUCED_4')|_T].
_T > [id('X_INTRODUCED_3')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_10')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_11')|_T].
_T > [id('X_INTRODUCED_5')|_T].
_T > [id('X_INTRODUCED_4')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_11')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_14')|_T].
_T > [id('X_INTRODUCED_2')|_T].
_T > [id('X_INTRODUCED_0')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_14')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_15')|_T].
_T > [id('X_INTRODUCED_3')|_T].
_T > [id('X_INTRODUCED_1')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_15')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_16')|_T].
_T > [id('X_INTRODUCED_4')|_T].
_T > [id('X_INTRODUCED_2')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_16')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_17')|_T].
_T > [id('X_INTRODUCED_5')|_T].
_T > [id('X_INTRODUCED_3')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_17')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_21')|_T].
_T > [id('X_INTRODUCED_3')|_T].
_T > [id('X_INTRODUCED_0')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_21')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_22')|_T].
_T > [id('X_INTRODUCED_4')|_T].
_T > [id('X_INTRODUCED_1')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_22')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_23')|_T].
_T > [id('X_INTRODUCED_5')|_T].
_T > [id('X_INTRODUCED_2')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_23')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_28')|_T].
_T > [id('X_INTRODUCED_4')|_T].
_T > [id('X_INTRODUCED_0')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_28')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_29')|_T].
_T > [id('X_INTRODUCED_5')|_T].
_T > [id('X_INTRODUCED_1')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_29')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_45')|_T].
_T > [id('X_INTRODUCED_35')|_T].
_T > [id('X_INTRODUCED_5')|_T].
_T > [id('X_INTRODUCED_0')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [id('X_INTRODUCED_35')|_T].
[E|_T] > [[E]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_7')|_T].
_T > [id('X_INTRODUCED_8')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_7')|_T].
_T > [id('X_INTRODUCED_9')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_7')|_T].
_T > [id('X_INTRODUCED_10')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_7')|_T].
_T > [id('X_INTRODUCED_11')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_8')|_T].
_T > [id('X_INTRODUCED_9')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_8')|_T].
_T > [id('X_INTRODUCED_10')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_8')|_T].
_T > [id('X_INTRODUCED_11')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_9')|_T].
_T > [id('X_INTRODUCED_10')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_9')|_T].
_T > [id('X_INTRODUCED_11')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_10')|_T].
_T > [id('X_INTRODUCED_11')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_14')|_T].
_T > [id('X_INTRODUCED_15')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_14')|_T].
_T > [id('X_INTRODUCED_16')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_14')|_T].
_T > [id('X_INTRODUCED_17')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_15')|_T].
_T > [id('X_INTRODUCED_16')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_15')|_T].
_T > [id('X_INTRODUCED_17')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_16')|_T].
_T > [id('X_INTRODUCED_17')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_21')|_T].
_T > [id('X_INTRODUCED_22')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_21')|_T].
_T > [id('X_INTRODUCED_23')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_22')|_T].
_T > [id('X_INTRODUCED_23')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_28')|_T].
_T > [id('X_INTRODUCED_29')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_ne'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_42')|_T].
_T > [id('X_INTRODUCED_0')|_T].
_T > [id('X_INTRODUCED_5')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(-1,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_le'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_70')|_T].
_T > [id('X_INTRODUCED_8')|_T].
_T > [id('X_INTRODUCED_21')|_T].
_T > [id('X_INTRODUCED_14')|_T].
_T > [id('X_INTRODUCED_15')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_70')|_T].
_T > [id('X_INTRODUCED_9')|_T].
_T > [id('X_INTRODUCED_22')|_T].
_T > [id('X_INTRODUCED_15')|_T].
_T > [id('X_INTRODUCED_16')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_70')|_T].
_T > [id('X_INTRODUCED_10')|_T].
_T > [id('X_INTRODUCED_23')|_T].
_T > [id('X_INTRODUCED_16')|_T].
_T > [id('X_INTRODUCED_17')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_70')|_T].
_T > [id('X_INTRODUCED_15')|_T].
_T > [id('X_INTRODUCED_28')|_T].
_T > [id('X_INTRODUCED_21')|_T].
_T > [id('X_INTRODUCED_22')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_70')|_T].
_T > [id('X_INTRODUCED_16')|_T].
_T > [id('X_INTRODUCED_29')|_T].
_T > [id('X_INTRODUCED_22')|_T].
_T > [id('X_INTRODUCED_23')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
_T > [id('X_INTRODUCED_70')|_T].
_T > [id('X_INTRODUCED_22')|_T].
_T > [id('X_INTRODUCED_35')|_T].
_T > [id('X_INTRODUCED_28')|_T].
_T > [id('X_INTRODUCED_29')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[Es|_T] > [lit(Es,array(_))|_T].
_T > [lit(0,int)|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[AL|_T] > [C|_T] :- C =.. ['int_lin_eq'|AL].
_T > [[]|_T].
[A,C|_T] > [constraint(C,A)|_T].
[H,T|_T] > [[H|T]|_T].
[X|_T] > [constrs(X)|_T].
_T > [id('costas')|_T].
_T > [id('input_order')|_T].
_T > [id('indomain_min')|_T].
_T > [id('complete')|_T].
[E|_T] > [[E]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
[T,H|_T] > [[H|T]|_T].
_T > [[]|_T].
[As, E|_T] > [[E|As]|_T].
_T > [satisfy|_T].
[S,A|_T] > [solve(S, A)|_T].
[S,C,V,P|_T] > [fzn(P, V, C, S)|_T].