__inter_____exactly__________def____5_and_sig(a).
__inter_____exactly__________def____3_and_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__6(X2).
distinct(X1,X2) :- __inter_____exactly__________def____6_and_sig(X1), __inter_____exactly__________def____3_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____6_and_sig(X1), __inter_____exactly__________def____5_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____5_and_sig(X1), __inter_____exactly__sig_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____6_and_sig(X1), __inter_____exactly__sig_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__sig_and_sig(X1), __inter_____exactly__________def____3_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____3_and_sig(X1), __inter_____exactly__________def____7_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__sig_and_sig(X1), __inter_____exactly__________def____6_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____3_and_sig(X1), __inter_____exactly__sig_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__sig_and_sig(X1), __inter_____exactly__sig_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__sig_and_sig(X1), __inter_____exactly__________def____5_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____7_and_sig(X1), __inter_____exactly__________def____3_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____7_and_sig(X1), __inter_____exactly__sig_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____5_and_sig(X1), __inter_____exactly__________def____7_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__sig_and_sig(X1), __inter_____exactly__________def____7_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____7_and_sig(X1), __inter_____exactly__________def____5_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____3_and_sig(X1), __inter_____exactly__________def____3_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____5_and_sig(X1), __inter_____exactly__________def____6_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____5_and_sig(X1), __inter_____exactly__________def____3_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____3_and_sig(X1), __inter_____exactly__________def____5_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____6_and_sig(X1), __inter_____exactly__________def____7_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____7_and_sig(X1), __inter_____exactly__________def____6_and_sig(X2).
distinct(X1,X2) :- __inter_____exactly__________def____3_and_sig(X1), __inter_____exactly__________def____6_and_sig(X2).
__inter_____exactly__________def____6_and_sig(b).
__inter_____exactly__sig_and_sig(minus(X)) :- __exactly_____def__7(X).
__inter_____exactly__sig_and_sig(minus(X)) :- __exactly_____def__3(X).
__inter_____exactly__sig_and_sig(minus(X)) :- __exactly_____def__6(X).
__inter_____exactly__sig_and_sig(minus(X)) :- __exactly_sig(X).
__inter_____exactly__sig_and_sig(minus(X)) :- __exactly_____def__5(X).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(zero).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__5(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__3(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__6(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_sig(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__7(X2).
__inter_____exactly__sig_and_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__6(X2).
__exactly_____def__6(b).
__exactly_____def__3(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__6(X2).
__exactly_sig(minus(X)) :- __exactly_____def__7(X).
__exactly_sig(minus(X)) :- __exactly_____def__3(X).
__exactly_sig(minus(X)) :- __exactly_____def__6(X).
__exactly_sig(minus(X)) :- __exactly_sig(X).
__exactly_sig(minus(X)) :- __exactly_____def__5(X).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__5(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__5(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__5(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__7(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__7(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__3(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__5(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__3(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__7(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__6(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__5(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__3(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__3(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__6(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__6(X1), __exactly_sig(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_sig(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__3(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__6(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_sig(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_sig(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_sig(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__7(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__7(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__6(X2).
__exactly_sig(crypt(X1,X2)) :- __exactly_sig(X1), __exactly_____def__6(X2).
__exactly_sig(zero).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__5(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__5(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__5(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__7(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__7(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__3(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__5(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__3(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__7(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__6(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__5(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__3(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__3(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_____def__6(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__6(X1), __exactly_sig(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_sig(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_____def__3(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__6(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_sig(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_sig(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__5(X1), __exactly_sig(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__7(X1), __exactly_____def__7(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_____def__3(X1), __exactly_____def__7(X2).
__exactly_sig(plus(X1,X2)) :- __exactly_sig(X1), __exactly_____def__6(X2).
__exactly_____def__5(a).
__exactly_____def__7(c).
__inter_____exactly__________def____7_and_sig(c).