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