array [1..15] of int: pearl = [1, 0, 0, 1, 1, 1, 2, 1, 1, 2, 2, 2, 2, 0, 1];
array [1..27] of int: star = [0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0];
array [1..25] of int: visit = [1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0];
array [1..45] of var 0..1: x :: output_array([1..5, 1..9]);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[9], x[18], x[27], x[36], x[45]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[6], x[7], x[11], x[15], x[16], x[20], x[24], x[25]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[6], x[7], x[20], x[24], x[25], x[29], x[33], x[34]], 2);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[6], x[7], x[29], x[33], x[34], x[38], x[42], x[43]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[7], x[8], x[11], x[16], x[17], x[20], x[25], x[26]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[7], x[8], x[20], x[25], x[26], x[29], x[34], x[35]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[7], x[8], x[29], x[34], x[35], x[38], x[43], x[44]], 2);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[4], x[5], x[7], x[13], x[14], x[16], x[22], x[23], x[25]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[4], x[5], x[7], x[22], x[23], x[25], x[31], x[32], x[34]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[4], x[5], x[7], x[31], x[32], x[34], x[40], x[41], x[43]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[11], x[15], x[16], x[29], x[33], x[34], x[38], x[42], x[43]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[11], x[16], x[17], x[29], x[34], x[35], x[38], x[43], x[44]], 2);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[13], x[14], x[16], x[31], x[32], x[34], x[40], x[41], x[43]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[20], x[24], x[25], x[29], x[33], x[34], x[38], x[42], x[43]], 2);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[20], x[25], x[26], x[29], x[34], x[35], x[38], x[43], x[44]], 2);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[22], x[23], x[25], x[31], x[32], x[34], x[40], x[41], x[43]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1], [x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45]], 1);
constraint int_lin_le([-1, -1, -1, -1, -1], [x[5], x[14], x[23], x[32], x[41]], -1);
solve satisfy;