var 9..180: INT____00001 :: is_defined_var :: var_is_introduced;
array [1..729] of var 0..1: d;
var 9..180: tot :: output_var = INT____00001;
array [1..9] of var 1..20: x :: output_array([1..9]);
constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [INT____00001, x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9]], 0) :: defines_var(INT____00001);
constraint int_lin_le([1, -1], [x[1], x[2]], -1);
constraint int_lin_le([1, -1], [x[2], x[3]], -1);
constraint int_lin_le([1, -1], [x[3], x[4]], -1);
constraint int_lin_le([1, -1], [x[4], x[5]], -1);
constraint int_lin_le([1, -1], [x[5], x[6]], -1);
constraint int_lin_le([1, -1], [x[6], x[7]], -1);
constraint int_lin_le([1, -1], [x[7], x[8]], -1);
constraint int_lin_le([1, -1], [x[8], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[172], x[1], x[2], x[3]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[253], x[1], x[2], x[4]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[262], x[1], x[3], x[4]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[263], x[2], x[3], x[4]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[334], x[1], x[2], x[5]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[343], x[1], x[3], x[5]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[344], x[2], x[3], x[5]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[352], x[1], x[4], x[5]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[353], x[2], x[4], x[5]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[354], x[3], x[4], x[5]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[415], x[1], x[2], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[424], x[1], x[3], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[425], x[2], x[3], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[433], x[1], x[4], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[434], x[2], x[4], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[435], x[3], x[4], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[442], x[1], x[5], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[443], x[2], x[5], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[444], x[3], x[5], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[445], x[4], x[5], x[6]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[496], x[1], x[2], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[505], x[1], x[3], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[506], x[2], x[3], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[514], x[1], x[4], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[515], x[2], x[4], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[516], x[3], x[4], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[523], x[1], x[5], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[524], x[2], x[5], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[525], x[3], x[5], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[526], x[4], x[5], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[532], x[1], x[6], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[533], x[2], x[6], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[534], x[3], x[6], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[535], x[4], x[6], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[536], x[5], x[6], x[7]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[577], x[1], x[2], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[586], x[1], x[3], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[587], x[2], x[3], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[595], x[1], x[4], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[596], x[2], x[4], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[597], x[3], x[4], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[604], x[1], x[5], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[605], x[2], x[5], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[606], x[3], x[5], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[607], x[4], x[5], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[613], x[1], x[6], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[614], x[2], x[6], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[615], x[3], x[6], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[616], x[4], x[6], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[617], x[5], x[6], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[622], x[1], x[7], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[623], x[2], x[7], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[624], x[3], x[7], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[625], x[4], x[7], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[626], x[5], x[7], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[627], x[6], x[7], x[8]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[658], x[1], x[2], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[667], x[1], x[3], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[668], x[2], x[3], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[676], x[1], x[4], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[677], x[2], x[4], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[678], x[3], x[4], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[685], x[1], x[5], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[686], x[2], x[5], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[687], x[3], x[5], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[688], x[4], x[5], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[694], x[1], x[6], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[695], x[2], x[6], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[696], x[3], x[6], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[697], x[4], x[6], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[698], x[5], x[6], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[703], x[1], x[7], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[704], x[2], x[7], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[705], x[3], x[7], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[706], x[4], x[7], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[707], x[5], x[7], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[708], x[6], x[7], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[712], x[1], x[8], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[713], x[2], x[8], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[714], x[3], x[8], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[715], x[4], x[8], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[716], x[5], x[8], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[717], x[6], x[8], x[9]], -1);
constraint int_lin_le([-19, 1, -2, 1], [d[718], x[7], x[8], x[9]], -1);
constraint int_lin_le([19, -1, 2, -1], [d[172], x[1], x[2], x[3]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[253], x[1], x[2], x[4]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[262], x[1], x[3], x[4]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[263], x[2], x[3], x[4]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[334], x[1], x[2], x[5]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[343], x[1], x[3], x[5]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[344], x[2], x[3], x[5]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[352], x[1], x[4], x[5]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[353], x[2], x[4], x[5]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[354], x[3], x[4], x[5]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[415], x[1], x[2], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[424], x[1], x[3], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[425], x[2], x[3], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[433], x[1], x[4], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[434], x[2], x[4], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[435], x[3], x[4], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[442], x[1], x[5], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[443], x[2], x[5], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[444], x[3], x[5], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[445], x[4], x[5], x[6]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[496], x[1], x[2], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[505], x[1], x[3], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[506], x[2], x[3], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[514], x[1], x[4], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[515], x[2], x[4], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[516], x[3], x[4], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[523], x[1], x[5], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[524], x[2], x[5], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[525], x[3], x[5], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[526], x[4], x[5], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[532], x[1], x[6], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[533], x[2], x[6], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[534], x[3], x[6], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[535], x[4], x[6], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[536], x[5], x[6], x[7]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[577], x[1], x[2], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[586], x[1], x[3], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[587], x[2], x[3], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[595], x[1], x[4], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[596], x[2], x[4], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[597], x[3], x[4], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[604], x[1], x[5], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[605], x[2], x[5], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[606], x[3], x[5], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[607], x[4], x[5], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[613], x[1], x[6], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[614], x[2], x[6], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[615], x[3], x[6], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[616], x[4], x[6], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[617], x[5], x[6], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[622], x[1], x[7], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[623], x[2], x[7], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[624], x[3], x[7], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[625], x[4], x[7], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[626], x[5], x[7], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[627], x[6], x[7], x[8]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[658], x[1], x[2], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[667], x[1], x[3], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[668], x[2], x[3], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[676], x[1], x[4], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[677], x[2], x[4], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[678], x[3], x[4], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[685], x[1], x[5], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[686], x[2], x[5], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[687], x[3], x[5], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[688], x[4], x[5], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[694], x[1], x[6], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[695], x[2], x[6], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[696], x[3], x[6], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[697], x[4], x[6], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[698], x[5], x[6], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[703], x[1], x[7], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[704], x[2], x[7], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[705], x[3], x[7], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[706], x[4], x[7], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[707], x[5], x[7], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[708], x[6], x[7], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[712], x[1], x[8], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[713], x[2], x[8], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[714], x[3], x[8], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[715], x[4], x[8], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[716], x[5], x[8], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[717], x[6], x[8], x[9]], 18);
constraint int_lin_le([19, -1, 2, -1], [d[718], x[7], x[8], x[9]], 18);
solve  :: int_search(x, first_fail, indomain, complete) minimize INT____00001;