array [1..6] of int: game = [-1, -1, -1, 1, 1, 1];
var bool: BOOL____00001 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00002 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00003 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00004 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00005 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00006 :: is_defined_var :: var_is_introduced;
array [1..6] of var 0..1: mines :: output_array([1..2, 1..3]);
constraint int_eq_reif(mines[1], 0, BOOL____00001) :: defines_var(BOOL____00001);
constraint int_eq_reif(mines[1], 1, BOOL____00002) :: defines_var(BOOL____00002);
constraint int_eq_reif(mines[2], 0, BOOL____00003) :: defines_var(BOOL____00003);
constraint int_eq_reif(mines[2], 1, BOOL____00004) :: defines_var(BOOL____00004);
constraint int_eq_reif(mines[3], 0, BOOL____00005) :: defines_var(BOOL____00005);
constraint int_eq_reif(mines[3], 1, BOOL____00006) :: defines_var(BOOL____00006);
constraint int_eq_reif(mines[4], 0, true);
constraint int_eq_reif(mines[4], 1, false);
constraint int_eq_reif(mines[5], 0, true);
constraint int_eq_reif(mines[5], 1, false);
constraint int_eq_reif(mines[6], 0, true);
constraint int_eq_reif(mines[6], 1, false);
constraint int_lin_eq_reif([-1, -1, -1, -1], [mines[1], mines[2], mines[4], mines[5]], -1, true);
constraint int_lin_eq_reif([-1, -1, -1, -1], [mines[2], mines[3], mines[5], mines[6]], -1, true);
constraint int_lin_eq_reif([-1, -1, -1, -1, -1, -1], [mines[1], mines[2], mines[3], mines[4], mines[5], mines[6]], -1, true);
solve  :: int_search([mines[1], mines[2], mines[3], mines[4], mines[5], mines[6]], first_fail, indomain, complete) satisfy;