{r160} + {r170} + {r180} + {r190} + {r200} + {r210} + {r220} + {r230} + {r240} + {r250} + {r260} + {270} + {r280}
 v0313_m
 C 07.00.a
 (010;030;040)
 (All)
 {r010} = {r140} + {r150} + {r160} + {r170} + {r180} + {r190} + {r200} + {r220} + {r230} + {r240} + {r250} + {r260} + {270} + {r280}
 v0314_m
 C 07.00.a
 (010;200)
 (All)
 {r090} >= {r100}
 v0315_m
 C 07.00.a
 (010;200)
 (All)
 {r110} >= {r120}
 v0316_m
 C 07.00.a
 (All)
 {r140,c215} = 0
 v0317_m
 C 07.00.a
 (All)
 {r140,c220} = 0
 v0318_m
 C 07.00.a
 (All)
 {r150,c215} = {r150,c200} * 2%
 v0319_m
 C 07.00.a
 (All)
 {r170,c215} = {r170,c200} * 10%
 v0320_m
 C 07.00.a
 (All)
 {r180,c215} = {r180,c200} * 20%
 v0321_m
 C 07.00.a
 (All)
 {r190,c215} = {r190,c200} * 35%
 v0322_m
 C 07.00.a
 (All)
 {r200,c215} = {r200,c200} * 50%
 v0323_m
 C 07.00.a
 (All)
 {r210,c215} = {r210,c200} * 70%
 v0324_m
 C 07.00.a
 (All)
 {r220,c215} = {r220,c200} * 75%
 v0325_m
 C 07.00.a
 (All)
 {r230,c215} = {r230,c200}
 v0326_m
 C 07.00.a
 (All)
 {r240,c215} = {r240,c200} * 150%
 v0327_m
 C 07.00.a
 (All)
 {r250,c215} = {r250,c200} * 250%
 v0328_m
 C 07.00.a
 (All)
 {r270,c215} = {r270,c200} * 1250%
 v0329_m
 C 07.00.a
 (All)
 (All)
 {c215} >= {c220}
 v0330_m
 C 08.01.a
 C 08.01.b
 (010;070-170)
 (All)
 {C 08.01.b, c120} <= {C 08.01.a, c110}
 v0331_m
 C 08.01.a
 (020;090;110;260;280;290)
 (All)
 {r120} <= {r110}
 v0332_m
 C 08.01.a
 (010;070)
 (All)
 {c030} <= {c020}
 v0333_m
 C 08.01.a
 C 08.01.b
 (010;070;090-170)
 (All)
 {C 08.01.b, c100} <= {C 08.01.a, c090}
 v0334_m
 C 08.01.a
 C 08.01.b
 (010;070-180)
 (All)
 {C 08.01.b, c130} <= {C 08.01.a, c110}
 v0335_m
 C 08.01.a
 (010;070)
 (All)
 {c140} <= {c110}
 v0336_m
 C 08.01.a
 (010;070)
 (All)
 {c270} <= {c260}
 v0337_m
 C 08.01.a
 (020;040;050;060;070;080;090;110;150-220;260;280;290)
 (All)
 {r010} = {r020} + {r030} + {r040} + {r050} + {r060}
 v0338_m
 C 08.01.a
 (020;090;110;260;280;290)
 (All)
 {r010} = {r070} + {r080} + {r160} + {r170} + {r180}
 v0339_m
 C 08.01.a
 (020;090;110;260;280;290)
 (All)
 {r080} = {r090} + {r100} + {r110} + {r130} + {r140} + {r150} + {r160}
 v0340_m
 C 08.01.a
 C 08.02
 (020-220;260-290)
 (All)
 {C 08.01.a, r070} = sum({C 08.02, (rNNN)})
 v0341_m
 C 08.01.a
 (All)
 (All)
 {c260} <= {c255}
 v0342_m
 C 08.02
 (All)
 (All)
 {c030} <= {c020}
 v0343_m
 C 08.02
 (All)
 (All)
 {c100} <= {c090}
 v0344_m
 C 08.02
 (All)
 (All)
 {c130} <= {c110}
 v0345_m
 C 08.02
 (All)
 (All)
 {c140} <= {c110}
 v0346_m
 C 08.02
 (All)
 (All)
 {c270} <= {c260}
 v0347_m
 C 08.02
 (All)
 (All)
 {c090} = {c020} + {c070} + {c080}
 v0348_m
 C 08.02
 (All)
 (All)
 {c260} <= {c255}
 v0350_m
 C 09.01.a
 C 07.00.a
 sum({C 09.01.a, r010, c010, (sNNN)}) = {C 07.00.a, r010,c010, s002}
 v0351_m
 C 09.01.a
 C 07.00.a
 sum({C 09.01.a, r010, c075, (sNNN)}) = {C 07.00.a, r010,c200, s002}
 v0352_m
 C 09.01.a
 C 07.00.a
 sum({C 09.01.a, r010, c080, (sNNN)}) = {C 07.00.a, r010,c215, s002}
 v0353_m
 C 09.01.a
 C 07.00.a
 sum({C 09.01.a, r020, c010, (sNNN)}) = {C 07.00.a, r010,c010, s003}
 v0354_m
 C 09.01.a
 C 07.00.a
 sum({C 09.01.a, r020, c075, (sNNN)}) = {C 07.00.a, r010,c200, s003}
 v0355_m
 C 09.01.a
 C 07.00.a
 sum({C 09.01.a, r020, c080, (sNNN)}) = {C 07.00.a, r010,c215, s003}
 v0356_m
 C 09.01.a
 C 07.00.a
 sum({C 09.01.a, r030,