array [1..2] of int: X_INTRODUCED_37 = [1,-1];
var 1..6: X_INTRODUCED_0;
var 1..6: X_INTRODUCED_1;
var 1..6: X_INTRODUCED_2;
var 1..6: X_INTRODUCED_3;
var 1..6: X_INTRODUCED_4;
var 1..6: X_INTRODUCED_5;
var 1..6: X_INTRODUCED_6;
var 1..6: X_INTRODUCED_7;
var 1..6: X_INTRODUCED_8;
var 1..6: X_INTRODUCED_9;
var 1..6: X_INTRODUCED_10;
var 1..6: X_INTRODUCED_11;
var 1..6: X_INTRODUCED_12;
var 1..6: X_INTRODUCED_13;
var 1..6: X_INTRODUCED_14;
var 1..6: X_INTRODUCED_15;
var 1..6: X_INTRODUCED_16;
var 1..6: X_INTRODUCED_17;
var 1..6: X_INTRODUCED_18;
var 1..6: X_INTRODUCED_19;
var 1..6: X_INTRODUCED_20;
var 1..6: X_INTRODUCED_21;
var 1..6: X_INTRODUCED_22;
var 1..6: X_INTRODUCED_23;
var 1..6: X_INTRODUCED_24;
var 1..6: X_INTRODUCED_25;
var 1..6: X_INTRODUCED_26;
var 1..6: X_INTRODUCED_27;
var 1..6: X_INTRODUCED_28;
var 1..6: X_INTRODUCED_29;
var 1..6: X_INTRODUCED_30;
var 1..6: X_INTRODUCED_31;
var 1..6: X_INTRODUCED_32;
var 1..6: X_INTRODUCED_33;
var 1..6: X_INTRODUCED_34;
var 1..6: X_INTRODUCED_35;
array [1..36] of var int: x:: output_array([1..6,1..6]) = [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,X_INTRODUCED_15,X_INTRODUCED_16,X_INTRODUCED_17,X_INTRODUCED_18,X_INTRODUCED_19,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24,X_INTRODUCED_25,X_INTRODUCED_26,X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,X_INTRODUCED_30,X_INTRODUCED_31,X_INTRODUCED_32,X_INTRODUCED_33,X_INTRODUCED_34,X_INTRODUCED_35];
array [1..36] of var int: X_INTRODUCED_61 ::var_is_introduced  = [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,X_INTRODUCED_15,X_INTRODUCED_16,X_INTRODUCED_17,X_INTRODUCED_18,X_INTRODUCED_19,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24,X_INTRODUCED_25,X_INTRODUCED_26,X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,X_INTRODUCED_30,X_INTRODUCED_31,X_INTRODUCED_32,X_INTRODUCED_33,X_INTRODUCED_34,X_INTRODUCED_35];
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_1],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_8],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_9],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_10],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_11],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_8],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_9],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_10],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_11],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_8,X_INTRODUCED_9],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_8,X_INTRODUCED_10],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_8,X_INTRODUCED_11],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_9,X_INTRODUCED_10],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_9,X_INTRODUCED_11],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_10,X_INTRODUCED_11],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_13],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_14],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_15],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_16],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_17],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_13,X_INTRODUCED_14],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_13,X_INTRODUCED_15],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_13,X_INTRODUCED_16],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_13,X_INTRODUCED_17],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_14,X_INTRODUCED_15],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_14,X_INTRODUCED_16],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_14,X_INTRODUCED_17],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_15,X_INTRODUCED_16],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_15,X_INTRODUCED_17],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_16,X_INTRODUCED_17],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_18,X_INTRODUCED_19],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_18,X_INTRODUCED_20],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_18,X_INTRODUCED_21],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_18,X_INTRODUCED_22],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_18,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_19,X_INTRODUCED_20],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_19,X_INTRODUCED_21],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_19,X_INTRODUCED_22],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_19,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_20,X_INTRODUCED_21],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_20,X_INTRODUCED_22],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_20,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_21,X_INTRODUCED_22],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_21,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_22,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_24,X_INTRODUCED_25],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_24,X_INTRODUCED_26],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_24,X_INTRODUCED_27],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_24,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_24,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_25,X_INTRODUCED_26],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_25,X_INTRODUCED_27],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_25,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_25,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_26,X_INTRODUCED_27],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_26,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_26,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_27,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_27,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_28,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_30,X_INTRODUCED_31],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_30,X_INTRODUCED_32],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_30,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_30,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_30,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_31,X_INTRODUCED_32],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_31,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_31,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_31,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_32,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_32,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_32,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_33,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_33,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_34,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_12],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_18],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_24],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_0,X_INTRODUCED_30],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_12],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_18],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_24],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_30],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_18],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_24],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_12,X_INTRODUCED_30],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_18,X_INTRODUCED_24],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_18,X_INTRODUCED_30],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_24,X_INTRODUCED_30],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_13],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_19],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_25],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_1,X_INTRODUCED_31],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_13],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_19],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_25],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_7,X_INTRODUCED_31],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_13,X_INTRODUCED_19],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_13,X_INTRODUCED_25],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_13,X_INTRODUCED_31],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_19,X_INTRODUCED_25],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_19,X_INTRODUCED_31],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_25,X_INTRODUCED_31],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_8],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_14],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_20],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_26],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_32],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_8,X_INTRODUCED_14],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_8,X_INTRODUCED_20],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_8,X_INTRODUCED_26],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_8,X_INTRODUCED_32],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_14,X_INTRODUCED_20],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_14,X_INTRODUCED_26],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_14,X_INTRODUCED_32],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_20,X_INTRODUCED_26],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_20,X_INTRODUCED_32],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_26,X_INTRODUCED_32],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_9],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_15],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_21],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_27],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_9,X_INTRODUCED_15],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_9,X_INTRODUCED_21],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_9,X_INTRODUCED_27],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_9,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_15,X_INTRODUCED_21],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_15,X_INTRODUCED_27],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_15,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_21,X_INTRODUCED_27],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_21,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_27,X_INTRODUCED_33],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_10],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_16],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_22],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_10,X_INTRODUCED_16],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_10,X_INTRODUCED_22],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_10,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_10,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_16,X_INTRODUCED_22],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_16,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_16,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_22,X_INTRODUCED_28],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_22,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_28,X_INTRODUCED_34],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_11],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_17],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_11,X_INTRODUCED_17],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_11,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_11,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_11,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_17,X_INTRODUCED_23],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_17,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_17,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_23,X_INTRODUCED_29],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_23,X_INTRODUCED_35],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_29,X_INTRODUCED_35],0);
solve :: int_search(X_INTRODUCED_61,input_order,indomain_max,complete) satisfy;