+ {F 04.02, r160,c010} + {F 04.03, r160,c030} + {F 04.04, r110,c060} + {F 04.04, r250,c060}
 v1071_m
 F 13.01
 F 04.01
 F 04.02
 F 04.03
 F 04.04
 sum({F 13.01, r030, (c010-050)}) <= {F 04.01, r170,c010} + {F 04.02, r170,c010} + {F 04.03, r170,c030} + {F 04.04, r120,c060} + {F 04.04, r260,c060}
 v1072_m
 F 13.01
 F 04.01
 F 04.02
 F 04.03
 F 04.04
 sum({F 13.01, r040, (c010-050)}) <= {F 04.01, r180,c010} + {F 04.02, r180,c010} + {F 04.03, r180,c030} + {F 04.04, r130,c060} + {F 04.04, r270,c060}
 v1073_m
 F 13.01
 F 09.02
 {F 13.01, r010,c050} <= {F 09.02, r080,c010}
 v1074_m
 F 13.01
 F 05.00
 sum({F 13.01, r010, (c010-020)}) = sum({F 05.00, r090, (c020-060)})
 v1075_m
 F 13.01
 F 05.00
 sum({F 13.01, r010, (c010-050)}) <= sum({F 05.00, r080, (c010-060)})
 v1076_m
 F 13.01
 F 05.00
 sum({F 13.01, r010, (c030-040)}) = sum({F 05.00, r100, (c020-060)})
 v1077_m
 F 13.01
 F 05.00
 sum({F 13.01, r020, (c010-020)}) = {F 05.00, r090,c040}
 v1078_m
 F 13.01
 F 05.00
 sum({F 13.01, r020, (c010-050)}) <= {F 05.00, r080,c040}
 v1079_m
 F 13.01
 F 05.00
 sum({F 13.01, r020, (c030-040)}) = {F 05.00, r100,c040}
 v1080_m
 F 13.01
 F 05.00
 sum({F 13.01, r030, (c010-020)}) = {F 05.00, r090,c050}
 v1081_m
 F 13.01
 F 05.00
 sum({F 13.01, r030, (c010-050)}) <= {F 05.00, r080,c050}
 v1082_m
 F 13.01
 F 05.00
 sum({F 13.01, r030, (c030-040)}) = {F 05.00, r100,c050}
 v1083_m
 F 13.01
 F 05.00
 sum({F 13.01, r040, (c010-020)}) = {F 05.00, r090,c060}
 v1084_m
 F 13.01
 F 05.00
 sum({F 13.01, r040, (c010-050)}) <= {F 05.00, r080,c060}
 v1085_m
 F 13.01
 F 05.00
 sum({F 13.01, r040, (c030-040)}) = {F 05.00, r100,c060}
 v1086_m
 F 04.05
 F 01.01
 {F 04.05, r030,c010} <= sum({F 01.01, c010, (r080-090, r120-130, r160-170, r180, r210)})
 v1087_m
 F 13.02
 (010)
 {r060} = sum(r010-050)
 v1088_m
 F 13.02
 F 01.01
 {F 13.02, r020,c010} <= {F 01.01, r280,c010}
 v1090_m
 F 13.03
 F 01.01
 {F 13.03, r010,c010} <= sum({F 01.01, c010, (r270, r370)})
 v1093_m
 F 13.02
 F 13.03
 {F 13.02, r030,c010} <= {F 13.03, r010,c010}
 v1094_m
 F 41.01
 (010-100)
 {c010} = sum(c020-040)
 v1095_m
 F 41.01
 (010-040)
 {r070} = sum(r080-100)
 v1096_m
 F 41.02
 (010-020)
 {r010} = sum(r020-040)
 v1097_m
 F 41.02
 (030)
 {r010} = sum(r030-040)
 v1098_m
 F 41.02
 (010-030)
 {r050} = sum(r060-080)
 v1099_m
 F 42.00
 (010)
 {r070} = sum(r080-090)
 v1100_m
 F 42.00
 F 01.01
 {F 42.00, r010,c010} = {F 01.01, r280,c010}
 v1101_m
 F 42.00
 F 01.01
 {F 42.00, r040,c010} = {F 01.01, r290,c010}
 v1102_m
 F 42.00
 F 01.01
 {F 42.00, r070,c010} = {F 01.01, r320,c010}
 v1103_m
 F 21.00
 (010)
 {r070} = sum(r080-090)
 v1104_m
 F 21.00
 F 01.01
 {F 21.00, r010,c010} <= {F 01.01, r280,c010}
 v1105_m
 F 21.00
 F 01.01
 {F 21.00, r040,c010} <= {F 01.01, r290,c010}
 v1106_m
 F 21.00
 F 01.01
 {F 21.00, r070,c010} <= {F 01.01, r320,c010}
 v1107_m
 F 21.00
 F 42.00
 {F 21.00, r010,c010} <= {F 42.00, r010,c010}
 v1108_m
 F 21.00
 F 42.00
 {F 21.00, r020,c010} <= {F 42.00, r020,c010}
 v1109_m
 F 21.00
 F 42.00
 {F 21.00, r030,c010} <= {F 42.00, r030,c010}
 v1110_m
 F 21.00
 F 42.00
 {F 21.00, r040,c010} <= {F 42.00, r040,c010}
 v1111_m
 F 21.00
 F 42.00
 {F 21.00, r050,c010} <= {F 42.00, r050,c010}
