v5663_serror6
with {tF_04.07, c0021, default: null, interval: false}: {r0060-0190} <= 0
v3909_swarning6
with {tF_04.07, default: null, interval: false}: {r*, c0010} >= 0
v2819_mwarning2
sum({F 32.01, r0080, (c0010, c0060)}) = sum({F 04.01, c0010, (r0090-0100)}) + sum({F 04.02.1, c0010, (r0080-0090)}) + sum({F 04.02.2, c0010, (r0090-0100)}) + sum({F 04.03.1, c0010, (r0080-0090)}) + sum({F 04.04.1, c0010, (r0040-0050)}) + sum({F 04.06, c0010, (r0090-0100)}) + sum({F 04.07, c0010, (r0090-0100)}) + sum({F 04.08, c0010, (r0090-0100)}) + sum({F 04.09, c0050, (r0040-0050)}) + sum({F 04.10, c0010, (r0090-0100)})
v5462_mwarning2
{F 18.00.a, r0211, c0010} = {F 04.07, r0060, c0010} - {F 04.07, r0060, c0021} + {F 04.08, r0060, c0010} - {F 04.08, r0060, c0030} + sum({F 04.10, r0060, (c0016, c0025)})
v5463_mwarning2
{F 18.00.a, r0212, c0010} = {F 04.07, r0070, c0010} - {F 04.07, r0070, c0021} + {F 04.08, r0070, c0010} - {F 04.08, r0070, c0030} + sum({F 04.10, r0070, (c0016, c0025)})
v5464_mwarning2
{F 18.00.a, r0213, c0010} = {F 04.07, r0080, c0010} - {F 04.07, r0080, c0021} + {F 04.08, r0080, c0010} - {F 04.08, r0080, c0030} + sum({F 04.10, r0080, (c0016, c0025)})
v5465_mwarning2
{F 18.00.a, r0214, c0010} = {F 04.07, r0090, c0010} - {F 04.07, r0090, c0021} + {F 04.08, r0090, c0010} - {F 04.08, r0090, c0030} + sum({F 04.10, r0090, (c0016, c0025)})
v5466_mwarning2
{F 18.00.a, r0215, c0010} = {F 04.07, r0100, c0010} - {F 04.07, r0100, c0021} + {F 04.08, r0100, c0010} - {F 04.08, r0100, c0030} + sum({F 04.10, r0100, (c0016, c0025)})
v5467_mwarning2
{F 18.00.a, r0216, c0010} = {F 04.07, r0110, c0010} - {F 04.07, r0110, c0021} + {F 04.08, r0110, c0010} - {F 04.08, r0110, c0030} + sum({F 04.10, r0110, (c0016, c0025)})
v5037_merror1
{r0190} = {r0010} + {r0060} + {r0120}
v5038_merror1
{r0190} = {r0060} + {r0120}
v23395_hwarning1
with{default: 0, interval: true}: {tF_04.07, r0060, c0010} = {tF_20.01, r0173, c0010} + {tF_20.01, r0173, c0020}
v23926_hwarning1
with{tF_04.07, c0010, default: 0, interval: true}: {r0190} = {r0010} + {r0060} + {r0120}
v2818_mwarning1
sum({F 32.01, r0070, (c0010, c0060)}) = {F 04.01, r0080,c0010} + {F 04.02.1, r0070,c0010} + {F 04.02.2, r0080,c0010} + {F 04.03.1, r0070,c0010} + {F 04.04.1, r0030, c0010} + {F 04.06, r0080, c0010} + {F 04.07, r0080, c0010} + {F 04.08, r0080, c0010} + {F 04.09, r0030, c0050} + {F 04.10, r0080, c0010}
v2820_mwarning1
sum({F 32.01, r0090, (c0010, c0060)}) = {F 04.01, r0110,c0010} + {F 04.02.1, r0100,c0010} + {F 04.02.2, r0110,c0010} + {F 04.03.1, r0100,c0010} + {F 04.04.1, r0060, c0010} + {F 04.06, r0110, c0010} + {F 04.07, r0110, c0010} + {F 04.08, r0110, c0010} + {F 04.09, r0060, c0050} + {F 04.10, r0110, c0010}
v5504_mwarning1
{F 18.00.b, r0211, c0130} = {F 04.07, r0060, c0021} + {F 04.08, r0060, c0030} + {F 04.10, r0060, c0090}
v5505_mwarning1
{F 18.00.b, r0212, c0130} = {F 04.07, r0070, c0021} + {F 04.08, r0070, c0030} + {F 04.10, r0070, c0090}
v5506_mwarning1
{F 18.00.b, r0213, c0130} = {F 04.07, r0080, c0021} + {F 04.08, r0080, c0030} + {F 04.10, r0080, c0090}
v5507_mwarning1
{F 18.00.b, r0214, c0130} = {F 04.07, r0090, c0021} + {F 04.08, r0090, c0030} + {F 04.10, r0090, c0090}
v5508_mwarning1
{F 18.00.b, r0215, c0130} = {F 04.07, r0100, c0021} + {F 04.08, r0100, c0030} + {F 04.10, r0100, c0090}
v5509_mwarning1
{F 18.00.b, r0216, c0130} = {F 04.07, r0110, c0021} + {F 04.08, r0110, c0030} + {F 04.10, r0110, c0090}