1array [1..2] of int: X_INTRODUCED_1 = [1,-1];
2var {1,2,4,5}: pistol:: output_var;
3var 1..5: umbrella:: output_var;
4var 2..2: cigarette:: output_var;
5var {2,4,5}: letter:: output_var;
6var 1..5: argue:: output_var;
7var 1..5: rang:: output_var;
8var 4..4: walk:: output_var;
9var 2..5: murder:: output_var;
10var 1..1: harassed:: output_var;
11var 1..5: abandoned:: output_var;
12var 1..5: sacked:: output_var;
13var {1,2,4,5}: hate:: output_var;
14array [1..5] of var int: objects = [pistol,umbrella,2,hate,letter];
15array [1..5] of var int: actions = [argue,umbrella,rang,4,murder];
16array [1..5] of var int: motives = [1,abandoned,sacked,argue,hate];
17constraint int_lin_ne([-1],[abandoned],-1);
18constraint int_lin_ne([-1],[sacked],-1);
19constraint int_lin_ne([-1],[argue],-1);
20constraint int_lin_ne([-1],[hate],-1);
21constraint int_lin_ne(X_INTRODUCED_1,[abandoned,sacked],0);
22constraint int_lin_ne(X_INTRODUCED_1,[abandoned,argue],0);
23constraint int_lin_ne(X_INTRODUCED_1,[abandoned,hate],0);
24constraint int_lin_ne(X_INTRODUCED_1,[sacked,argue],0);
25constraint int_lin_ne(X_INTRODUCED_1,[sacked,hate],0);
26constraint int_lin_ne(X_INTRODUCED_1,[argue,hate],0);
27constraint int_lin_ne(X_INTRODUCED_1,[pistol,umbrella],0);
28constraint int_lin_ne([1],[pistol],2);
29constraint int_lin_ne(X_INTRODUCED_1,[pistol,hate],0);
30constraint int_lin_ne(X_INTRODUCED_1,[pistol,letter],0);
31constraint int_lin_ne([1],[umbrella],2);
32constraint int_lin_ne(X_INTRODUCED_1,[umbrella,hate],0);
33constraint int_lin_ne(X_INTRODUCED_1,[umbrella,letter],0);
34constraint int_lin_ne([-1],[hate],-2);
35constraint int_lin_ne([-1],[letter],-2);
36constraint int_lin_ne(X_INTRODUCED_1,[hate,letter],0);
37constraint int_lin_ne(X_INTRODUCED_1,[argue,umbrella],0);
38constraint int_lin_ne(X_INTRODUCED_1,[argue,rang],0);
39constraint int_lin_ne([1],[argue],4);
40constraint int_lin_ne(X_INTRODUCED_1,[argue,murder],0);
41constraint int_lin_ne(X_INTRODUCED_1,[umbrella,rang],0);
42constraint int_lin_ne([1],[umbrella],4);
43constraint int_lin_ne(X_INTRODUCED_1,[umbrella,murder],0);
44constraint int_lin_ne([1],[rang],4);
45constraint int_lin_ne(X_INTRODUCED_1,[rang,murder],0);
46constraint int_lin_ne([-1],[murder],-4);
47constraint int_lin_ne(X_INTRODUCED_1,[sacked,letter],0);
48solve  satisfy;
49