30.02
 (010-030)
 {r070} = sum(r080-110)
 v1002_m
 F 30.02
 (010-030)
 {r130} <= {r120}
 v1003_m
 F 30.02
 F 01.01
 sum({F 30.02, r030, (c010-030)}) <= sum({F 01.01, c010, (r060, r092, r240)})
 v1004_m
 F 30.02
 F 01.01
 sum({F 30.02, r040, (c010-030)}) <= sum({F 01.01, c010, (r070, r093, r110, r150, r172, r176, r235)})
 v1005_m
 F 30.02
 F 01.01
 sum({F 30.02, r050, (c010-030)}) <= sum({F 01.01, c010, (r080, r094, r120, r160, r173, r177, r190, r220, r232, r236)})
 v1006_m
 F 30.02
 F 01.01
 sum({F 30.02, r060, (c010-030)}) <= sum({F 01.01, c010, (r090, r095, r130, r170, r174, r178, r200, r230, r233, r237)})
 v1007_m
 F 30.02
 F 01.02
 sum({F 30.02, r090, (c010-030)}) <= sum({F 01.02, c010, (r020, r062, r150)})
 v1008_m
 F 30.02
 F 01.02
 sum({F 30.02, r100, (c010-030)}) <= sum({F 01.02, c010, (r040, r064, r080, r120, r142)})
 v1009_m
 F 30.02
 F 01.02
 sum({F 30.02, r110, (c010-030)}) <= sum({F 01.02, c010, (r050, r065, r090, r130, r143)})
 v1010_m
 F 30.02
 F 01.03
 sum({F 30.02, r080, (c010-030)}) <= sum({F 01.03, c010, (r010, r040, r050)})
 v1014_m
 F 30.02
 F 08.01.a
 sum({F 30.02, r100, (c010-030)}) <= xsum({F 08.01.a, (r210, r260, c010-030)})
 v1015_m
 F 30.02
 F 09.01
 sum({F 30.02, r120, (c010-030)}) <= sum({F 09.01, c010, (r060-070, r140-150, r220-230)})
 v1016_m
 F 30.02
 F 09.01
 sum({F 30.02, r130, (c010-030)}) <= sum({F 09.01, c010, (r020, r100, r180)})
 v1017_m
 F 30.02
 F 30.01
 sum({F 30.02, r010, (c010-030)}) <= {F 30.01, r010,c010}
 v1018_m
 F 30.02
 F 30.01
 sum({F 30.02, r120, (c010-030)}) = {F 30.01, r010,c050}
 v1019_m
 F 30.02
 F 30.01
 xsum({F 30.02, (r050-060, c010-030)}) = {F 30.01, r010,c020}
 v1020_m
 F 30.02
 F 30.01
 xsum({F 30.02, (r090-110, c010-030)}) <= {F 30.01, r010,c040}
 v1021_m
 F 31.01
 (010-050)
 {r010} = sum(r020-040)
 v1022_m
 F 31.01
 (010-050)
 {r050} <= {r010}
 v1024_m
 F 31.01
 (010-050)
 {r100} <= {r090}
 v1025_m
 F 31.01
 (010-050)
 if sum(r050, r100) > 0 then {r130} > 0
 v1026_m
 F 31.01
 F 01.01
 sum({F 31.01, r020, (c010-050)}) <= sum({F 01.01, c010, (r070, r093, r110, r150, r172, r176, r235)})
 v1027_m
 F 31.01
 F 01.02
 sum({F 31.01, r080, (c010-050)}) <= sum({F 01.02, c010, (r050, r065, r090, r130, r143)})
 v1028_m
 F 31.01
 F 01.01
 sum({F 31.01, r030, (c010-050)}) <= sum({F 01.01, c010, (r080, r094, r120, r160, r173, r177, r190, r220, r232, r236)})
 v1029_m
 F 31.01
 F 01.01
 sum({F 31.01, r040, (c010-050)}) <= sum({F 01.01, c010, (r090, r095, r130, r170, r174, r178, r200, r230, r233, r237)})
 v1030_m
 F 31.01
 F 07.00
 sum({F 31.01, r050, (c010-050)}) <= sum({F 07.00, c070, (r010, r090-110, r150-180)})
 v1031_m
 F 31.01
 F 07.00
 F 43.00
 sum({F 31.01, r130, (c010-050)}) <= xsum(ABS({F 07.00,(r090-110, r150-180, c080-104)})) + {F 43.00, r070,c050}
 v1032_m
 F 31.01
 F 08.01.a
 sum({F 31.01, r070, (c010-050)}) <= sum({F 08.01.a, r050, (c010-035)}) - sum({F 08.01.a, r060, (c010-035)}) - sum({F 08.01.a, r110, (c010-035)})
 v1033_m
 F 31.01
 F 08.01.a
 sum({F 31.01, r080, (c010-050)}) <= sum({F 08.01.a, r360, (c010-035)})
 v1034_m
 F 31.01
 F 09.01
 sum({F 31.01, r090, (c010-050)}) <= sum({F 09.01, c010, (r050-080, r130-160, r210-240)})
 v1035_m
 F 31.01
 F 09.01
 sum({F 31.01, r100, (c010-050)}) <= sum({F 09.01, c010, (r020, r100, r180)})
 v1036_m
 F 31.01
 F 09.02
 sum({F 31.01, r110, (c010-050)}) <= sum({F 09.02, c020, (r040-070)}) +