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