1array [1..2] of int: X_INTRODUCED_0 = [-1,1];
2array [1..2] of int: X_INTRODUCED_1 = [1,-1];
3var 1..5: jane:: output_var;
4var 2..5: sylvia:: output_var;
5var 1..5: hillary:: output_var;
6var 1..5: kate:: output_var;
7var 2..5: amanda:: output_var;
8var 1..5: brookes:: output_var;
9var 1..5: adams:: output_var;
10var 1..5: darling:: output_var;
11var 1..5: cooper:: output_var;
12var 1..4: miller:: output_var;
13array [1..5] of var int: first_names = [jane,sylvia,hillary,kate,amanda];
14array [1..5] of var int: last_names = [brookes,adams,darling,cooper,miller];
15constraint int_lin_le(X_INTRODUCED_0,[adams,cooper],-1);
16constraint int_lin_le(X_INTRODUCED_1,[adams,miller],-1);
17constraint int_lin_le(X_INTRODUCED_1,[amanda,hillary],-1);
18constraint int_lin_le(X_INTRODUCED_1,[amanda,kate],-1);
19constraint int_lin_le(X_INTRODUCED_1,[brookes,hillary],-1);
20constraint int_lin_le(X_INTRODUCED_1,[hillary,darling],-1);
21constraint int_lin_le(X_INTRODUCED_1,[sylvia,adams],-1);
22constraint int_lin_ne(X_INTRODUCED_1,[jane,brookes],0);
23constraint int_lin_ne(X_INTRODUCED_1,[brookes,adams],0);
24constraint int_lin_ne(X_INTRODUCED_1,[brookes,darling],0);
25constraint int_lin_ne(X_INTRODUCED_1,[brookes,cooper],0);
26constraint int_lin_ne(X_INTRODUCED_1,[brookes,miller],0);
27constraint int_lin_ne(X_INTRODUCED_1,[adams,darling],0);
28constraint int_lin_ne(X_INTRODUCED_1,[adams,cooper],0);
29constraint int_lin_ne(X_INTRODUCED_1,[adams,miller],0);
30constraint int_lin_ne(X_INTRODUCED_1,[darling,cooper],0);
31constraint int_lin_ne(X_INTRODUCED_1,[darling,miller],0);
32constraint int_lin_ne(X_INTRODUCED_1,[cooper,miller],0);
33constraint int_lin_ne(X_INTRODUCED_1,[jane,sylvia],0);
34constraint int_lin_ne(X_INTRODUCED_1,[jane,hillary],0);
35constraint int_lin_ne(X_INTRODUCED_1,[jane,kate],0);
36constraint int_lin_ne(X_INTRODUCED_1,[jane,amanda],0);
37constraint int_lin_ne(X_INTRODUCED_1,[sylvia,hillary],0);
38constraint int_lin_ne(X_INTRODUCED_1,[sylvia,kate],0);
39constraint int_lin_ne(X_INTRODUCED_1,[sylvia,amanda],0);
40constraint int_lin_ne(X_INTRODUCED_1,[hillary,kate],0);
41constraint int_lin_ne(X_INTRODUCED_1,[hillary,amanda],0);
42constraint int_lin_ne(X_INTRODUCED_1,[kate,amanda],0);
43solve  satisfy;
44