v23149_swarning104
with {tF_12.01.a, r*, default: null, interval: false}: {(c0010, c0100, c0120)} <= 0
v23151_swarning104
with {tF_12.01.a, r*, default: null, interval: false}: {(c0030, c0080)} >= 0
v5050_merror63
{r0250} = sum(r0260-0310)
v8134_mwarning63
{r0430} = sum(r0440-0490)
v5047_mwarning54
{r0020} = sum(r0030-0070)
v5049_mwarning54
{r0190} = sum(r0200-0240)
v8133_mwarning54
{r0370} = sum(r0380-0420)
v23150_swarning52
with {tF_12.01.a, c0020, default: null, interval: false}: {(r0010, r0015, r0020, r0030, r0040, r0050, r0060, r0070, r0080, r0090, r0100, r0110, r0120, r0130, r0140, r0160, r0170, r0180, r0185, r0190, r0200, r0210, r0220, r0230, r0240, r0250, r0260, r0270, r0280, r0290, r0300, r0310, r0330, r0340, r0360, r0365, r0370, r0380, r0390, r0400, r0410, r0420, r0430, r0440, r0450, r0460, r0470, r0480, r0490, r0500, r0510, r0520)} <= 0
v5051_merror32
{r0520} = {r0010} + {r0180} + {r0360} + {r0600}
v5054_merror27
{r0010} = sum(r0160-0170)
v5055_merror27
{r0180} = sum(r0330-0340)
v23845_hwarning27
with{tF_12.01.a, c*, default: 0, interval: true}: {r0010} = {r0020} + {r0080}
v23846_hwarning27
with{tF_12.01.a, c*, default: 0, interval: true}: {r0180} = {r0190} + {r0250}
v23847_hwarning27
with{tF_12.01.a, c*, default: 0, interval: true}: {r0360} = {r0370} + {r0430}
v5056_merror24
{r0360} = sum(r0500-0510)
v09604_mwarning4
{r0520} = {r0010} + {r0180} + {r0360}
v6030_mwarning2
{F 12.01.a, r0010, c0100} - {F 12.01.a, r0015, c0100} = {F 04.03.1, r0180, c0050} + {F 04.04.1, r0140, c0050}
v6033_mwarning2
{F 12.01.a, r0180, c0100} - {F 12.01.a, r0185, c0100} = {F 04.03.1, r0180, c0060} + {F 04.04.1, r0140, c0060}
v6036_mwarning2
{F 12.01.a, r0360, c0100} - {F 12.01.a, r0365, c0100} = {F 04.03.1, r0180, c0070} + {F 04.04.1, r0140, c0070}
v6031_mwarning1
{F 12.01.a, r0020, c0100} = {F 04.03.1, r0050, c0050} + {F 04.04.1, r0010, c0050}
v6032_mwarning1
{F 12.01.a, r0080, c0100} = {F 04.03.1, r0110, c0050} + {F 04.04.1, r0070, c0050}
v6034_mwarning1
{F 12.01.a, r0190, c0100} = {F 04.03.1, r0050, c0060} + {F 04.04.1, r0010, c0060}
v6035_mwarning1
{F 12.01.a, r0250, c0100} = {F 04.03.1, r0110, c0060} + {F 04.04.1, r0070, c0060}
v6037_mwarning1
{F 12.01.a, r0370, c0100} = {F 04.03.1, r0050, c0070} + {F 04.04.1, r0010, c0070}
v6038_mwarning1
{F 12.01.a, r0430, c0100} = {F 04.03.1, r0110, c0070} + {F 04.04.1, r0070, c0070}