array [1..100] of int: d = [999, 1, 999, 999, 999, 999, 999, 999, 999, 999, 1, 999, 1, 999, 999, 999, 999, 999, 999, 999, 999, 1, 999, 1, 999, 999, 999, 999, 999, 1, 999, 999, 1, 999, 1, 999, 999, 999, 999, 999, 999, 999, 999, 1, 999, 1, 999, 999, 999, 999, 999, 999, 999, 999, 1, 999, 1, 999, 1, 999, 999, 999, 999, 999, 999, 1, 999, 1, 999, 999, 999, 999, 999, 999, 999, 999, 1, 999, 1, 999, 999, 999, 999, 999, 999, 1, 999, 999, 999, 1, 999, 999, 1, 999, 999, 999, 999, 999, 1, 999];
var 0..7: INT____00001 :: is_defined_var :: var_is_introduced;
array [1..10] of var 0..1: inFlow :: output_array([1..10]);
array [1..10] of var 0..1: outFlow :: output_array([1..10]);
array [1..10] of var -1..1: rhs;
var 0..21: total_cost :: output_var = INT____00001;
array [1..100] of var 0..1: x :: output_array([1..10, 1..10]);
constraint int_eq(rhs[1], 1);
constraint int_eq(rhs[2], 0);
constraint int_eq(rhs[3], 0);
constraint int_eq(rhs[4], 0);
constraint int_eq(rhs[5], 0);
constraint int_eq(rhs[6], 0);
constraint int_eq(rhs[7], 0);
constraint int_eq(rhs[8], -1);
constraint int_eq(rhs[9], 0);
constraint int_eq(rhs[10], 0);
constraint int_eq(x[1], 0);
constraint int_eq(x[3], 0);
constraint int_eq(x[4], 0);
constraint int_eq(x[5], 0);
constraint int_eq(x[6], 0);
constraint int_eq(x[7], 0);
constraint int_eq(x[8], 0);
constraint int_eq(x[9], 0);
constraint int_eq(x[10], 0);
constraint int_eq(x[12], 0);
constraint int_eq(x[14], 0);
constraint int_eq(x[15], 0);
constraint int_eq(x[16], 0);
constraint int_eq(x[17], 0);
constraint int_eq(x[18], 0);
constraint int_eq(x[19], 0);
constraint int_eq(x[20], 0);
constraint int_eq(x[21], 0);
constraint int_eq(x[23], 0);
constraint int_eq(x[25], 0);
constraint int_eq(x[26], 0);
constraint int_eq(x[27], 0);
constraint int_eq(x[28], 0);
constraint int_eq(x[29], 0);
constraint int_eq(x[31], 0);
constraint int_eq(x[32], 0);
constraint int_eq(x[34], 0);
constraint int_eq(x[36], 0);
constraint int_eq(x[37], 0);
constraint int_eq(x[38], 0);
constraint int_eq(x[39], 0);
constraint int_eq(x[40], 0);
constraint int_eq(x[41], 0);
constraint int_eq(x[42], 0);
constraint int_eq(x[43], 0);
constraint int_eq(x[45], 0);
constraint int_eq(x[47], 0);
constraint int_eq(x[48], 0);
constraint int_eq(x[49], 0);
constraint int_eq(x[50], 0);
constraint int_eq(x[51], 0);
constraint int_eq(x[52], 0);
constraint int_eq(x[53], 0);
constraint int_eq(x[54], 0);
constraint int_eq(x[56], 0);
constraint int_eq(x[58], 0);
constraint int_eq(x[60], 0);
constraint int_eq(x[61], 0);
constraint int_eq(x[62], 0);
constraint int_eq(x[63], 0);
constraint int_eq(x[64], 0);
constraint int_eq(x[65], 0);
constraint int_eq(x[67], 0);
constraint int_eq(x[69], 0);
constraint int_eq(x[70], 0);
constraint int_eq(x[71], 0);
constraint int_eq(x[72], 0);
constraint int_eq(x[73], 0);
constraint int_eq(x[74], 0);
constraint int_eq(x[75], 0);
constraint int_eq(x[76], 0);
constraint int_eq(x[78], 0);
constraint int_eq(x[80], 0);
constraint int_eq(x[81], 0);
constraint int_eq(x[82], 0);
constraint int_eq(x[83], 0);
constraint int_eq(x[84], 0);
constraint int_eq(x[85], 0);
constraint int_eq(x[87], 0);
constraint int_eq(x[88], 0);
constraint int_eq(x[89], 0);
constraint int_eq(x[91], 0);
constraint int_eq(x[92], 0);
constraint int_eq(x[94], 0);
constraint int_eq(x[95], 0);
constraint int_eq(x[96], 0);
constraint int_eq(x[97], 0);
constraint int_eq(x[98], 0);
constraint int_eq(x[100], 0);
constraint int_lin_eq([1, -1], [inFlow[1], x[11]], 0);
constraint int_lin_eq([1, -1], [inFlow[8], x[68]], 0);
constraint int_lin_eq([1, -1], [outFlow[1], x[2]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[1], outFlow[1], rhs[1]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[2], outFlow[2], rhs[2]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[3], outFlow[3], rhs[3]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[4], outFlow[4], rhs[4]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[5], outFlow[5], rhs[5]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[6], outFlow[6], rhs[6]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[7], outFlow[7], rhs[7]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[8], outFlow[8], rhs[8]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[9], outFlow[9], rhs[9]], 0);
constraint int_lin_eq([-1, 1, -1], [inFlow[10], outFlow[10], rhs[10]], 0);
constraint int_lin_eq([1, -1, -1], [inFlow[2], x[2], x[22]], 0);
constraint int_lin_eq([1, -1, -1], [inFlow[4], x[24], x[44]], 0);
constraint int_lin_eq([1, -1, -1], [inFlow[5], x[35], x[55]], 0);
constraint int_lin_eq([1, -1, -1], [inFlow[7], x[57], x[77]], 0);
constraint int_lin_eq([1, -1, -1], [inFlow[10], x[30], x[90]], 0);
constraint int_lin_eq([1, -1, -1], [outFlow[2], x[11], x[13]], 0);
constraint int_lin_eq([1, -1, -1], [outFlow[4], x[33], x[35]], 0);
constraint int_lin_eq([1, -1, -1], [outFlow[5], x[44], x[46]], 0);
constraint int_lin_eq([1, -1, -1], [outFlow[7], x[66], x[68]], 0);
constraint int_lin_eq([1, -1, -1], [outFlow[8], x[77], x[79]], 0);
constraint int_lin_eq([1, -1, -1], [outFlow[9], x[86], x[90]], 0);
constraint int_lin_eq([1, -1, -1], [outFlow[10], x[93], x[99]], 0);
constraint int_lin_eq([1, -1, -1, -1], [inFlow[3], x[13], x[33], x[93]], 0);
constraint int_lin_eq([1, -1, -1, -1], [inFlow[6], x[46], x[66], x[86]], 0);
constraint int_lin_eq([1, -1, -1, -1], [inFlow[9], x[59], x[79], x[99]], 0);
constraint int_lin_eq([1, -1, -1, -1], [outFlow[3], x[22], x[24], x[30]], 0);
constraint int_lin_eq([1, -1, -1, -1], [outFlow[6], x[55], x[57], x[59]], 0);
constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [INT____00001, x[2], x[11], x[13], x[22], x[24], x[30], x[33], x[35], x[44], x[46], x[55], x[57], x[59], x[66], x[68], x[77], x[79], x[86], x[90], x[93], x[99]], 0) :: defines_var(INT____00001);
solve satisfy;