1array [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]; 2var 0..7: INT____00001 :: is_defined_var :: var_is_introduced; 3array [1..10] of var 0..1: inFlow :: output_array([1..10]); 4array [1..10] of var 0..1: outFlow :: output_array([1..10]); 5array [1..10] of var -1..1: rhs; 6var 0..21: total_cost :: output_var = INT____00001; 7array [1..100] of var 0..1: x :: output_array([1..10, 1..10]); 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], 0); 14constraint int_eq(rhs[7], 0); 15constraint int_eq(rhs[8], -1); 16constraint int_eq(rhs[9], 0); 17constraint int_eq(rhs[10], 0); 18constraint int_eq(x[1], 0); 19constraint int_eq(x[3], 0); 20constraint int_eq(x[4], 0); 21constraint int_eq(x[5], 0); 22constraint int_eq(x[6], 0); 23constraint int_eq(x[7], 0); 24constraint int_eq(x[8], 0); 25constraint int_eq(x[9], 0); 26constraint int_eq(x[10], 0); 27constraint int_eq(x[12], 0); 28constraint int_eq(x[14], 0); 29constraint int_eq(x[15], 0); 30constraint int_eq(x[16], 0); 31constraint int_eq(x[17], 0); 32constraint int_eq(x[18], 0); 33constraint int_eq(x[19], 0); 34constraint int_eq(x[20], 0); 35constraint int_eq(x[21], 0); 36constraint int_eq(x[23], 0); 37constraint int_eq(x[25], 0); 38constraint int_eq(x[26], 0); 39constraint int_eq(x[27], 0); 40constraint int_eq(x[28], 0); 41constraint int_eq(x[29], 0); 42constraint int_eq(x[31], 0); 43constraint int_eq(x[32], 0); 44constraint int_eq(x[34], 0); 45constraint int_eq(x[36], 0); 46constraint int_eq(x[37], 0); 47constraint int_eq(x[38], 0); 48constraint int_eq(x[39], 0); 49constraint int_eq(x[40], 0); 50constraint int_eq(x[41], 0); 51constraint int_eq(x[42], 0); 52constraint int_eq(x[43], 0); 53constraint int_eq(x[45], 0); 54constraint int_eq(x[47], 0); 55constraint int_eq(x[48], 0); 56constraint int_eq(x[49], 0); 57constraint int_eq(x[50], 0); 58constraint int_eq(x[51], 0); 59constraint int_eq(x[52], 0); 60constraint int_eq(x[53], 0); 61constraint int_eq(x[54], 0); 62constraint int_eq(x[56], 0); 63constraint int_eq(x[58], 0); 64constraint int_eq(x[60], 0); 65constraint int_eq(x[61], 0); 66constraint int_eq(x[62], 0); 67constraint int_eq(x[63], 0); 68constraint int_eq(x[64], 0); 69constraint int_eq(x[65], 0); 70constraint int_eq(x[67], 0); 71constraint int_eq(x[69], 0); 72constraint int_eq(x[70], 0); 73constraint int_eq(x[71], 0); 74constraint int_eq(x[72], 0); 75constraint int_eq(x[73], 0); 76constraint int_eq(x[74], 0); 77constraint int_eq(x[75], 0); 78constraint int_eq(x[76], 0); 79constraint int_eq(x[78], 0); 80constraint int_eq(x[80], 0); 81constraint int_eq(x[81], 0); 82constraint int_eq(x[82], 0); 83constraint int_eq(x[83], 0); 84constraint int_eq(x[84], 0); 85constraint int_eq(x[85], 0); 86constraint int_eq(x[87], 0); 87constraint int_eq(x[88], 0); 88constraint int_eq(x[89], 0); 89constraint int_eq(x[91], 0); 90constraint int_eq(x[92], 0); 91constraint int_eq(x[94], 0); 92constraint int_eq(x[95], 0); 93constraint int_eq(x[96], 0); 94constraint int_eq(x[97], 0); 95constraint int_eq(x[98], 0); 96constraint int_eq(x[100], 0); 97constraint int_lin_eq([1, -1], [inFlow[1], x[11]], 0); 98constraint int_lin_eq([1, -1], [inFlow[8], x[68]], 0); 99constraint int_lin_eq([1, -1], [outFlow[1], x[2]], 0); 100constraint int_lin_eq([-1, 1, -1], [inFlow[1], outFlow[1], rhs[1]], 0); 101constraint int_lin_eq([-1, 1, -1], [inFlow[2], outFlow[2], rhs[2]], 0); 102constraint int_lin_eq([-1, 1, -1], [inFlow[3], outFlow[3], rhs[3]], 0); 103constraint int_lin_eq([-1, 1, -1], [inFlow[4], outFlow[4], rhs[4]], 0); 104constraint int_lin_eq([-1, 1, -1], [inFlow[5], outFlow[5], rhs[5]], 0); 105constraint int_lin_eq([-1, 1, -1], [inFlow[6], outFlow[6], rhs[6]], 0); 106constraint int_lin_eq([-1, 1, -1], [inFlow[7], outFlow[7], rhs[7]], 0); 107constraint int_lin_eq([-1, 1, -1], [inFlow[8], outFlow[8], rhs[8]], 0); 108constraint int_lin_eq([-1, 1, -1], [inFlow[9], outFlow[9], rhs[9]], 0); 109constraint int_lin_eq([-1, 1, -1], [inFlow[10], outFlow[10], rhs[10]], 0); 110constraint int_lin_eq([1, -1, -1], [inFlow[2], x[2], x[22]], 0); 111constraint int_lin_eq([1, -1, -1], [inFlow[4], x[24], x[44]], 0); 112constraint int_lin_eq([1, -1, -1], [inFlow[5], x[35], x[55]], 0); 113constraint int_lin_eq([1, -1, -1], [inFlow[7], x[57], x[77]], 0); 114constraint int_lin_eq([1, -1, -1], [inFlow[10], x[30], x[90]], 0); 115constraint int_lin_eq([1, -1, -1], [outFlow[2], x[11], x[13]], 0); 116constraint int_lin_eq([1, -1, -1], [outFlow[4], x[33], x[35]], 0); 117constraint int_lin_eq([1, -1, -1], [outFlow[5], x[44], x[46]], 0); 118constraint int_lin_eq([1, -1, -1], [outFlow[7], x[66], x[68]], 0); 119constraint int_lin_eq([1, -1, -1], [outFlow[8], x[77], x[79]], 0); 120constraint int_lin_eq([1, -1, -1], [outFlow[9], x[86], x[90]], 0); 121constraint int_lin_eq([1, -1, -1], [outFlow[10], x[93], x[99]], 0); 122constraint int_lin_eq([1, -1, -1, -1], [inFlow[3], x[13], x[33], x[93]], 0); 123constraint int_lin_eq([1, -1, -1, -1], [inFlow[6], x[46], x[66], x[86]], 0); 124constraint int_lin_eq([1, -1, -1, -1], [inFlow[9], x[59], x[79], x[99]], 0); 125constraint int_lin_eq([1, -1, -1, -1], [outFlow[3], x[22], x[24], x[30]], 0); 126constraint int_lin_eq([1, -1, -1, -1], [outFlow[6], x[55], x[57], x[59]], 0); 127constraint 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); 128solve satisfy; 129