var -11..11: INT____00001 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00003 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00005 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00007 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00009 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00011 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00013 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00015 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00017 :: is_defined_var :: var_is_introduced;
var -11..11: INT____00019 :: is_defined_var :: var_is_introduced;
array [1..11] of var 1..11: differences;
array [1..12] of var 0..11: series :: output_array([0..11]);
constraint int_abs(INT____00001, differences[1]);
constraint int_abs(INT____00003, differences[2]);
constraint int_abs(INT____00005, differences[3]);
constraint int_abs(INT____00007, differences[4]);
constraint int_abs(INT____00009, differences[5]);
constraint int_abs(INT____00011, differences[6]);
constraint int_abs(INT____00013, differences[7]);
constraint int_abs(INT____00015, differences[8]);
constraint int_abs(INT____00017, differences[9]);
constraint int_abs(INT____00019, differences[10]);
constraint int_lin_eq([-1, -1, 1], [INT____00001, series[2], series[3]], 0) :: defines_var(INT____00001);
constraint int_lin_eq([-1, -1, 1], [INT____00003, series[3], series[4]], 0) :: defines_var(INT____00003);
constraint int_lin_eq([-1, -1, 1], [INT____00005, series[4], series[5]], 0) :: defines_var(INT____00005);
constraint int_lin_eq([-1, -1, 1], [INT____00007, series[5], series[6]], 0) :: defines_var(INT____00007);
constraint int_lin_eq([-1, -1, 1], [INT____00009, series[6], series[7]], 0) :: defines_var(INT____00009);
constraint int_lin_eq([-1, -1, 1], [INT____00011, series[7], series[8]], 0) :: defines_var(INT____00011);
constraint int_lin_eq([-1, -1, 1], [INT____00013, series[8], series[9]], 0) :: defines_var(INT____00013);
constraint int_lin_eq([-1, -1, 1], [INT____00015, series[9], series[10]], 0) :: defines_var(INT____00015);
constraint int_lin_eq([-1, -1, 1], [INT____00017, series[10], series[11]], 0) :: defines_var(INT____00017);
constraint int_lin_eq([-1, -1, 1], [INT____00019, series[11], series[12]], 0) :: defines_var(INT____00019);
constraint int_ne(differences[1], differences[2]);
constraint int_ne(differences[1], differences[3]);
constraint int_ne(differences[1], differences[4]);
constraint int_ne(differences[1], differences[5]);
constraint int_ne(differences[1], differences[6]);
constraint int_ne(differences[1], differences[7]);
constraint int_ne(differences[1], differences[8]);
constraint int_ne(differences[1], differences[9]);
constraint int_ne(differences[1], differences[10]);
constraint int_ne(differences[1], differences[11]);
constraint int_ne(differences[2], differences[1]);
constraint int_ne(differences[2], differences[3]);
constraint int_ne(differences[2], differences[4]);
constraint int_ne(differences[2], differences[5]);
constraint int_ne(differences[2], differences[6]);
constraint int_ne(differences[2], differences[7]);
constraint int_ne(differences[2], differences[8]);
constraint int_ne(differences[2], differences[9]);
constraint int_ne(differences[2], differences[10]);
constraint int_ne(differences[2], differences[11]);
constraint int_ne(differences[3], differences[1]);
constraint int_ne(differences[3], differences[2]);
constraint int_ne(differences[3], differences[4]);
constraint int_ne(differences[3], differences[5]);
constraint int_ne(differences[3], differences[6]);
constraint int_ne(differences[3], differences[7]);
constraint int_ne(differences[3], differences[8]);
constraint int_ne(differences[3], differences[9]);
constraint int_ne(differences[3], differences[10]);
constraint int_ne(differences[3], differences[11]);
constraint int_ne(differences[4], differences[1]);
constraint int_ne(differences[4], differences[2]);
constraint int_ne(differences[4], differences[3]);
constraint int_ne(differences[4], differences[5]);
constraint int_ne(differences[4], differences[6]);
constraint int_ne(differences[4], differences[7]);
constraint int_ne(differences[4], differences[8]);
constraint int_ne(differences[4], differences[9]);
constraint int_ne(differences[4], differences[10]);
constraint int_ne(differences[4], differences[11]);
constraint int_ne(differences[5], differences[1]);
constraint int_ne(differences[5], differences[2]);
constraint int_ne(differences[5], differences[3]);
constraint int_ne(differences[5], differences[4]);
constraint int_ne(differences[5], differences[6]);
constraint int_ne(differences[5], differences[7]);
constraint int_ne(differences[5], differences[8]);
constraint int_ne(differences[5], differences[9]);
constraint int_ne(differences[5], differences[10]);
constraint int_ne(differences[5], differences[11]);
constraint int_ne(differences[6], differences[1]);
constraint int_ne(differences[6], differences[2]);
constraint int_ne(differences[6], differences[3]);
constraint int_ne(differences[6], differences[4]);
constraint int_ne(differences[6], differences[5]);
constraint int_ne(differences[6], differences[7]);
constraint int_ne(differences[6], differences[8]);
constraint int_ne(differences[6], differences[9]);
constraint int_ne(differences[6], differences[10]);
constraint int_ne(differences[6], differences[11]);
constraint int_ne(differences[7], differences[1]);
constraint int_ne(differences[7], differences[2]);
constraint int_ne(differences[7], differences[3]);
constraint int_ne(differences[7], differences[4]);
constraint int_ne(differences[7], differences[5]);
constraint int_ne(differences[7], differences[6]);
constraint int_ne(differences[7], differences[8]);
constraint int_ne(differences[7], differences[9]);
constraint int_ne(differences[7], differences[10]);
constraint int_ne(differences[7], differences[11]);
constraint int_ne(differences[8], differences[1]);
constraint int_ne(differences[8], differences[2]);
constraint int_ne(differences[8], differences[3]);
constraint int_ne(differences[8], differences[4]);
constraint int_ne(differences[8], differences[5]);
constraint int_ne(differences[8], differences[6]);
constraint int_ne(differences[8], differences[7]);
constraint int_ne(differences[8], differences[9]);
constraint int_ne(differences[8], differences[10]);
constraint int_ne(differences[8], differences[11]);
constraint int_ne(differences[9], differences[1]);
constraint int_ne(differences[9], differences[2]);
constraint int_ne(differences[9], differences[3]);
constraint int_ne(differences[9], differences[4]);
constraint int_ne(differences[9], differences[5]);
constraint int_ne(differences[9], differences[6]);
constraint int_ne(differences[9], differences[7]);
constraint int_ne(differences[9], differences[8]);
constraint int_ne(differences[9], differences[10]);
constraint int_ne(differences[9], differences[11]);
constraint int_ne(differences[10], differences[1]);
constraint int_ne(differences[10], differences[2]);
constraint int_ne(differences[10], differences[3]);
constraint int_ne(differences[10], differences[4]);
constraint int_ne(differences[10], differences[5]);
constraint int_ne(differences[10], differences[6]);
constraint int_ne(differences[10], differences[7]);
constraint int_ne(differences[10], differences[8]);
constraint int_ne(differences[10], differences[9]);
constraint int_ne(differences[10], differences[11]);
constraint int_ne(differences[11], differences[1]);
constraint int_ne(differences[11], differences[2]);
constraint int_ne(differences[11], differences[3]);
constraint int_ne(differences[11], differences[4]);
constraint int_ne(differences[11], differences[5]);
constraint int_ne(differences[11], differences[6]);
constraint int_ne(differences[11], differences[7]);
constraint int_ne(differences[11], differences[8]);
constraint int_ne(differences[11], differences[9]);
constraint int_ne(differences[11], differences[10]);
constraint int_ne(series[1], series[2]);
constraint int_ne(series[1], series[3]);
constraint int_ne(series[1], series[4]);
constraint int_ne(series[1], series[5]);
constraint int_ne(series[1], series[6]);
constraint int_ne(series[1], series[7]);
constraint int_ne(series[1], series[8]);
constraint int_ne(series[1], series[9]);
constraint int_ne(series[1], series[10]);
constraint int_ne(series[1], series[11]);
constraint int_ne(series[1], series[12]);
constraint int_ne(series[2], series[1]);
constraint int_ne(series[2], series[3]);
constraint int_ne(series[2], series[4]);
constraint int_ne(series[2], series[5]);
constraint int_ne(series[2], series[6]);
constraint int_ne(series[2], series[7]);
constraint int_ne(series[2], series[8]);
constraint int_ne(series[2], series[9]);
constraint int_ne(series[2], series[10]);
constraint int_ne(series[2], series[11]);
constraint int_ne(series[2], series[12]);
constraint int_ne(series[3], series[1]);
constraint int_ne(series[3], series[2]);
constraint int_ne(series[3], series[4]);
constraint int_ne(series[3], series[5]);
constraint int_ne(series[3], series[6]);
constraint int_ne(series[3], series[7]);
constraint int_ne(series[3], series[8]);
constraint int_ne(series[3], series[9]);
constraint int_ne(series[3], series[10]);
constraint int_ne(series[3], series[11]);
constraint int_ne(series[3], series[12]);
constraint int_ne(series[4], series[1]);
constraint int_ne(series[4], series[2]);
constraint int_ne(series[4], series[3]);
constraint int_ne(series[4], series[5]);
constraint int_ne(series[4], series[6]);
constraint int_ne(series[4], series[7]);
constraint int_ne(series[4], series[8]);
constraint int_ne(series[4], series[9]);
constraint int_ne(series[4], series[10]);
constraint int_ne(series[4], series[11]);
constraint int_ne(series[4], series[12]);
constraint int_ne(series[5], series[1]);
constraint int_ne(series[5], series[2]);
constraint int_ne(series[5], series[3]);
constraint int_ne(series[5], series[4]);
constraint int_ne(series[5], series[6]);
constraint int_ne(series[5], series[7]);
constraint int_ne(series[5], series[8]);
constraint int_ne(series[5], series[9]);
constraint int_ne(series[5], series[10]);
constraint int_ne(series[5], series[11]);
constraint int_ne(series[5], series[12]);
constraint int_ne(series[6], series[1]);
constraint int_ne(series[6], series[2]);
constraint int_ne(series[6], series[3]);
constraint int_ne(series[6], series[4]);
constraint int_ne(series[6], series[5]);
constraint int_ne(series[6], series[7]);
constraint int_ne(series[6], series[8]);
constraint int_ne(series[6], series[9]);
constraint int_ne(series[6], series[10]);
constraint int_ne(series[6], series[11]);
constraint int_ne(series[6], series[12]);
constraint int_ne(series[7], series[1]);
constraint int_ne(series[7], series[2]);
constraint int_ne(series[7], series[3]);
constraint int_ne(series[7], series[4]);
constraint int_ne(series[7], series[5]);
constraint int_ne(series[7], series[6]);
constraint int_ne(series[7], series[8]);
constraint int_ne(series[7], series[9]);
constraint int_ne(series[7], series[10]);
constraint int_ne(series[7], series[11]);
constraint int_ne(series[7], series[12]);
constraint int_ne(series[8], series[1]);
constraint int_ne(series[8], series[2]);
constraint int_ne(series[8], series[3]);
constraint int_ne(series[8], series[4]);
constraint int_ne(series[8], series[5]);
constraint int_ne(series[8], series[6]);
constraint int_ne(series[8], series[7]);
constraint int_ne(series[8], series[9]);
constraint int_ne(series[8], series[10]);
constraint int_ne(series[8], series[11]);
constraint int_ne(series[8], series[12]);
constraint int_ne(series[9], series[1]);
constraint int_ne(series[9], series[2]);
constraint int_ne(series[9], series[3]);
constraint int_ne(series[9], series[4]);
constraint int_ne(series[9], series[5]);
constraint int_ne(series[9], series[6]);
constraint int_ne(series[9], series[7]);
constraint int_ne(series[9], series[8]);
constraint int_ne(series[9], series[10]);
constraint int_ne(series[9], series[11]);
constraint int_ne(series[9], series[12]);
constraint int_ne(series[10], series[1]);
constraint int_ne(series[10], series[2]);
constraint int_ne(series[10], series[3]);
constraint int_ne(series[10], series[4]);
constraint int_ne(series[10], series[5]);
constraint int_ne(series[10], series[6]);
constraint int_ne(series[10], series[7]);
constraint int_ne(series[10], series[8]);
constraint int_ne(series[10], series[9]);
constraint int_ne(series[10], series[11]);
constraint int_ne(series[10], series[12]);
constraint int_ne(series[11], series[1]);
constraint int_ne(series[11], series[2]);
constraint int_ne(series[11], series[3]);
constraint int_ne(series[11], series[4]);
constraint int_ne(series[11], series[5]);
constraint int_ne(series[11], series[6]);
constraint int_ne(series[11], series[7]);
constraint int_ne(series[11], series[8]);
constraint int_ne(series[11], series[9]);
constraint int_ne(series[11], series[10]);
constraint int_ne(series[11], series[12]);
constraint int_ne(series[12], series[1]);
constraint int_ne(series[12], series[2]);
constraint int_ne(series[12], series[3]);
constraint int_ne(series[12], series[4]);
constraint int_ne(series[12], series[5]);
constraint int_ne(series[12], series[6]);
constraint int_ne(series[12], series[7]);
constraint int_ne(series[12], series[8]);
constraint int_ne(series[12], series[9]);
constraint int_ne(series[12], series[10]);
constraint int_ne(series[12], series[11]);
solve satisfy;