1predicate jacop_alldiff(array [int] of var int: x); 2array [1..5] of int: X_INTRODUCED_0 = [1,1,1,1,1]; 3array [1..5] of int: X_INTRODUCED_2 = [2,1,1,1,1]; 4array [1..4] of int: X_INTRODUCED_4 = [1,2,1,1]; 5array [1..6] of int: X_INTRODUCED_6 = [1,1,1,1,2,1]; 6array [1..4] of int: X_INTRODUCED_8 = [1,1,1,1]; 7array [1..3] of int: X_INTRODUCED_10 = [1,2,1]; 8array [1..8] of int: X_INTRODUCED_13 = [1,2,1,1,1,1,1,1]; 9array [1..6] of int: X_INTRODUCED_15 = [1,2,1,1,1,1]; 10array [1..3] of int: X_INTRODUCED_19 = [2,1,1]; 11array [1..4] of int: X_INTRODUCED_24 = [2,1,1,1]; 12array [1..6] of int: X_INTRODUCED_27 = [1,1,2,1,1,1]; 13array [1..5] of int: X_INTRODUCED_30 = [1,2,1,1,1]; 14var 1..26: a:: output_var; 15var 1..26: b:: output_var; 16var 1..26: c:: output_var; 17var 1..26: d:: output_var; 18var 1..26: e:: output_var; 19var 1..26: f:: output_var; 20var 1..26: g:: output_var; 21var 1..26: h:: output_var; 22var 1..26: i:: output_var; 23var 1..26: j:: output_var; 24var 1..26: k:: output_var; 25var 1..26: l:: output_var; 26var 1..26: m:: output_var; 27var 1..26: n:: output_var; 28var 1..26: o:: output_var; 29var 1..26: p:: output_var; 30var 1..26: q:: output_var; 31var 1..26: r:: output_var; 32var 1..26: s:: output_var; 33var 1..26: t:: output_var; 34var 1..26: u:: output_var; 35var 1..26: v:: output_var; 36var 1..26: w:: output_var; 37var 1..26: x:: output_var; 38var 1..26: y:: output_var; 39var 1..26: z:: output_var; 40array [1..26] of var int: alpha = [a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z]; 41constraint int_lin_eq(X_INTRODUCED_0,[t,l,a,w,z],34); 42constraint int_lin_eq(X_INTRODUCED_2,[i,l,o,v,n],100); 43constraint int_lin_eq(X_INTRODUCED_4,[m,e,h,t],72); 44constraint int_lin_eq(X_INTRODUCED_6,[n,a,r,p,o,s],82); 45constraint int_lin_eq(X_INTRODUCED_8,[n,o,s,g],61); 46constraint int_lin_eq(X_INTRODUCED_10,[l,o,s],37); 47constraint int_lin_eq(X_INTRODUCED_0,[l,a,c,s,e],51); 48constraint int_lin_eq(X_INTRODUCED_13,[n,o,h,p,x,a,s,e],134); 49constraint int_lin_eq(X_INTRODUCED_15,[e,t,r,a,u,q],50); 50constraint int_lin_eq(X_INTRODUCED_0,[k,l,o,p,a],59); 51constraint int_lin_eq(X_INTRODUCED_0,[r,e,p,o,a],65); 52constraint int_lin_eq(X_INTRODUCED_19,[o,b,e],53); 53constraint int_lin_eq(X_INTRODUCED_8,[r,y,l,e],47); 54constraint int_lin_eq(X_INTRODUCED_19,[z,a,j],58); 55constraint int_lin_eq(X_INTRODUCED_19,[e,l,g],66); 56constraint int_lin_eq(X_INTRODUCED_24,[u,g,f,e],50); 57constraint int_lin_eq(X_INTRODUCED_0,[t,u,l,f,e],30); 58constraint int_lin_eq(X_INTRODUCED_27,[r,e,c,n,o,t],74); 59constraint int_lin_eq(X_INTRODUCED_24,[l,e,c,o],43); 60constraint int_lin_eq(X_INTRODUCED_30,[e,l,a,b,t],45); 61constraint jacop_alldiff(alpha); 62solve satisfy; 63