var 0..4: INT____00001 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00003 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00005 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00007 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00009 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00011 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00013 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00015 :: is_defined_var :: var_is_introduced;
array [1..16] of var 0..1: place :: output_array([1..4, 1..4]);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00001, place[1], place[2], place[3], place[4]], 0) :: defines_var(INT____00001);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00003, place[1], place[5], place[9], place[13]], 0) :: defines_var(INT____00003);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00005, place[5], place[6], place[7], place[8]], 0) :: defines_var(INT____00005);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00007, place[2], place[6], place[10], place[14]], 0) :: defines_var(INT____00007);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00009, place[9], place[10], place[11], place[12]], 0) :: defines_var(INT____00009);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00011, place[3], place[7], place[11], place[15]], 0) :: defines_var(INT____00011);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00013, place[13], place[14], place[15], place[16]], 0) :: defines_var(INT____00013);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00015, place[4], place[8], place[12], place[16]], 0) :: defines_var(INT____00015);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [place[1], place[2], place[3], place[4], place[5], place[6], place[7], place[8], place[9], place[10], place[11], place[12], place[13], place[14], place[15], place[16]], 10);
constraint int_mod(INT____00001, 2, 0);
constraint int_mod(INT____00003, 2, 0);
constraint int_mod(INT____00005, 2, 0);
constraint int_mod(INT____00007, 2, 0);
constraint int_mod(INT____00009, 2, 0);
constraint int_mod(INT____00011, 2, 0);
constraint int_mod(INT____00013, 2, 0);
constraint int_mod(INT____00015, 2, 0);
solve satisfy;