array [1..2] of int: X_INTRODUCED_15_ = [1,-1];
var 1..15: X_INTRODUCED_0_;
var 1..15: X_INTRODUCED_1_;
var 1..15: X_INTRODUCED_2_;
var 1..15: X_INTRODUCED_3_;
var 1..15: X_INTRODUCED_4_;
var 1..15: X_INTRODUCED_5_;
var 1..15: X_INTRODUCED_6_;
var 1..15: X_INTRODUCED_7_;
var 1..15: X_INTRODUCED_8_;
var 1..15: X_INTRODUCED_9_;
var 1..15: X_INTRODUCED_10_;
var 1..15: X_INTRODUCED_11_;
var 1..15: X_INTRODUCED_12_;
var 1..15: X_INTRODUCED_13_;
var 1..15: X_INTRODUCED_14_;
array [1..15] of var int: q:: output_array([1..15]) = [X_INTRODUCED_0_,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_];
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_1_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_1_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_1_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_2_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_2_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_3_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_3_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_4_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_4_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_5_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_5_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_6_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_6_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_7_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_7_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_8_],8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_8_],-8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_9_],9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_9_],-9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_10_],10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_10_],-10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_11_],11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_11_],-11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_12_],12);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_12_],-12);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_13_],13);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_13_],-13);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_14_],14);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_0_,X_INTRODUCED_14_],-14);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_2_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_2_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_3_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_3_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_4_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_4_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_5_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_5_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_6_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_6_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_7_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_7_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_8_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_8_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_9_],8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_9_],-8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_10_],9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_10_],-9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_11_],10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_11_],-10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_12_],11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_12_],-11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_13_],12);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_13_],-12);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_14_],13);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_1_,X_INTRODUCED_14_],-13);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_3_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_3_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_4_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_4_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_5_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_5_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_6_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_6_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_7_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_7_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_8_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_8_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_9_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_9_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_10_],8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_10_],-8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_11_],9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_11_],-9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_12_],10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_12_],-10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_13_],11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_13_],-11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_14_],12);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_2_,X_INTRODUCED_14_],-12);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_4_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_4_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_5_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_5_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_6_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_6_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_7_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_7_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_8_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_8_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_9_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_9_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_10_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_10_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_11_],8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_11_],-8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_12_],9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_12_],-9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_13_],10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_13_],-10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_14_],11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_3_,X_INTRODUCED_14_],-11);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_5_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_5_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_6_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_6_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_7_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_7_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_8_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_8_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_9_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_9_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_10_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_10_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_11_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_11_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_12_],8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_12_],-8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_13_],9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_13_],-9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_14_],10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_4_,X_INTRODUCED_14_],-10);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_6_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_6_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_7_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_7_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_8_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_8_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_9_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_9_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_10_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_10_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_11_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_11_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_12_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_12_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_13_],8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_13_],-8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_14_],9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_5_,X_INTRODUCED_14_],-9);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_7_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_7_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_8_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_8_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_9_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_9_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_10_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_10_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_11_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_11_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_12_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_12_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_13_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_13_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_14_],8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_6_,X_INTRODUCED_14_],-8);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_8_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_8_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_9_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_9_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_10_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_10_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_11_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_11_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_12_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_12_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_13_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_13_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_14_],7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_7_,X_INTRODUCED_14_],-7);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_9_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_9_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_10_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_10_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_11_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_11_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_12_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_12_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_13_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_13_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_14_],6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_8_,X_INTRODUCED_14_],-6);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_10_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_10_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_11_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_11_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_12_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_12_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_13_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_13_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_14_],5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_9_,X_INTRODUCED_14_],-5);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_11_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_11_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_12_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_12_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_13_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_13_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_14_],4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_10_,X_INTRODUCED_14_],-4);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_12_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_12_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_13_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_13_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_14_],3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_11_,X_INTRODUCED_14_],-3);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_12_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_12_,X_INTRODUCED_13_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_12_,X_INTRODUCED_13_],-1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_12_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_12_,X_INTRODUCED_14_],2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_12_,X_INTRODUCED_14_],-2);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_13_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_13_,X_INTRODUCED_14_],1);
constraint int_lin_ne(X_INTRODUCED_15_,[X_INTRODUCED_13_,X_INTRODUCED_14_],-1);
solve :: int_search(q,input_order,indomain_min,complete) satisfy;