1array [1..36] of int: d = [0, 4, 3, 9999, 9999, 9999, 9999, 0, 9999, 3, 2, 9999, 9999, 9999, 0, 9999, 3, 9999, 9999, 9999, 9999, 0, 9999, 2, 9999, 9999, 9999, 9999, 0, 2, 9999, 9999, 9999, 9999, 9999, 0]; 2var 0..19: INT____00001 :: is_defined_var :: var_is_introduced; 3array [1..6] of var 0..1: inFlow :: output_array([1..6]); 4array [1..6] of var 0..1: outFlow :: output_array([1..6]); 5array [1..6] of var -1..1: rhs; 6var 0..19: total_cost :: output_var = INT____00001; 7array [1..36] of var 0..1: x :: output_array([1..6, 1..6]); 8constraint int_eq(rhs[1], 1); 9constraint int_eq(rhs[2], 0); 10constraint int_eq(rhs[3], 0); 11constraint int_eq(rhs[4], 0); 12constraint int_eq(rhs[5], 0); 13constraint int_eq(rhs[6], -1); 14constraint int_eq(x[1], 0); 15constraint int_eq(x[4], 0); 16constraint int_eq(x[5], 0); 17constraint int_eq(x[6], 0); 18constraint int_eq(x[7], 0); 19constraint int_eq(x[8], 0); 20constraint int_eq(x[9], 0); 21constraint int_eq(x[12], 0); 22constraint int_eq(x[13], 0); 23constraint int_eq(x[14], 0); 24constraint int_eq(x[15], 0); 25constraint int_eq(x[16], 0); 26constraint int_eq(x[18], 0); 27constraint int_eq(x[19], 0); 28constraint int_eq(x[20], 0); 29constraint int_eq(x[21], 0); 30constraint int_eq(x[22], 0); 31constraint int_eq(x[23], 0); 32constraint int_eq(x[25], 0); 33constraint int_eq(x[26], 0); 34constraint int_eq(x[27], 0); 35constraint int_eq(x[28], 0); 36constraint int_eq(x[29], 0); 37constraint int_eq(x[31], 0); 38constraint int_eq(x[32], 0); 39constraint int_eq(x[33], 0); 40constraint int_eq(x[34], 0); 41constraint int_eq(x[35], 0); 42constraint int_eq(x[36], 0); 43constraint int_lin_eq([1, -1], [inFlow[1], x[1]], 0); 44constraint int_lin_eq([1, -1], [outFlow[6], x[36]], 0); 45constraint int_lin_eq([-1, 1, -1], [inFlow[1], outFlow[1], rhs[1]], 0); 46constraint int_lin_eq([-1, 1, -1], [inFlow[2], outFlow[2], rhs[2]], 0); 47constraint int_lin_eq([-1, 1, -1], [inFlow[3], outFlow[3], rhs[3]], 0); 48constraint int_lin_eq([-1, 1, -1], [inFlow[4], outFlow[4], rhs[4]], 0); 49constraint int_lin_eq([-1, 1, -1], [inFlow[5], outFlow[5], rhs[5]], 0); 50constraint int_lin_eq([-1, 1, -1], [inFlow[6], outFlow[6], rhs[6]], 0); 51constraint int_lin_eq([1, -1, -1], [inFlow[2], x[2], x[8]], 0); 52constraint int_lin_eq([1, -1, -1], [inFlow[3], x[3], x[15]], 0); 53constraint int_lin_eq([1, -1, -1], [inFlow[4], x[10], x[22]], 0); 54constraint int_lin_eq([1, -1, -1], [outFlow[3], x[15], x[17]], 0); 55constraint int_lin_eq([1, -1, -1], [outFlow[4], x[22], x[24]], 0); 56constraint int_lin_eq([1, -1, -1], [outFlow[5], x[29], x[30]], 0); 57constraint int_lin_eq([1, -1, -1, -1], [inFlow[5], x[11], x[17], x[29]], 0); 58constraint int_lin_eq([1, -1, -1, -1], [inFlow[6], x[24], x[30], x[36]], 0); 59constraint int_lin_eq([1, -1, -1, -1], [outFlow[1], x[1], x[2], x[3]], 0); 60constraint int_lin_eq([1, -1, -1, -1], [outFlow[2], x[8], x[10], x[11]], 0); 61constraint int_lin_eq([-1, 4, 3, 3, 2, 3, 2, 2], [INT____00001, x[2], x[3], x[10], x[11], x[17], x[24], x[30]], 0) :: defines_var(INT____00001); 62solve minimize INT____00001; 63