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