v0800_merror7
{r0120} = sum(r0130-0180)
v0799_merror6
{r0060} = sum(r0070-0110)
v23876_hwarning5
with{tF_04.01, c0010, default: 0, interval: true}: {r0190} = {r0005} + {r0060} + {r0120} + {r0010}
v1219_merror4
{r0010} >= {r0030} + {r0040} + {r0050}
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)})
v23377_hwarning1
with{default: 0, interval: true}: {tF_04.01, r0120, c0010} = {tF_20.01, r0090, c0010} + {tF_20.01, r0090, c0020}
v23385_hwarning1
with{default: 0, interval: true}: {tF_04.01, r0005, c0010} = {tF_20.01, r0060, c0010} + {tF_20.01, r0060, c0020}
v23389_hwarning1
with{default: 0, interval: true}: {tF_04.01, r0010, c0010} = {tF_20.01, r0070, c0010} + {tF_20.01, r0070, c0020}
v23396_hwarning1
with{default: 0, interval: true}: {tF_04.01, r0060, c0010} = {tF_20.01, r0080, c0010} + {tF_20.01, r0080, c0020}
v23403_hwarning1
with{default: 0, interval: true}: {tF_04.01, r0190, c0010} = {tF_20.01, r0050, c0010} + {tF_20.01, r0050, c0020}
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}
v5332_mwarning1
{F 04.01, r0005, c0010} + {F 04.06, r0005, c0010} = sum({F 20.04, r0010, c0011, (sNNN)})
v5333_mwarning1
{F 04.01, r0010, c0010} + {F 04.06, r0010, c0010} = sum({F 20.04, r0040, c0011, (sNNN)})
v5334_mwarning1
{F 04.01, r0030, c0010} + {F 04.06, r0030, c0010} = sum({F 20.04, r0050, c0011, (sNNN)})
v5335_mwarning1
{F 04.01, r0040, c0010} + {F 04.06, r0040, c0010} = sum({F 20.04, r0060, c0011, (sNNN)})
v5336_mwarning1
{F 04.01, r0050, c0010} + {F 04.06, r0050, c0010} = sum({F 20.04, r0070, c0011, (sNNN)})
v5337_mwarning1
{F 04.01, r0060, c0010} + {F 04.06, r0060, c0010} = sum({F 20.04, r0080, c0011, (sNNN)})
v5338_mwarning1
{F 04.01, r0070, c0010} + {F 04.06, r0070, c0010} = sum({F 20.04, r0090, c0011, (sNNN)})
v5339_mwarning1
{F 04.01, r0080, c0010} + {F 04.06, r0080, c0010} = sum({F 20.04, r0100, c0011, (sNNN)})
v5340_mwarning1
{F 04.01, r0090, c0010} + {F 04.06, r0090, c0010} = sum({F 20.04, r0110, c0011, (sNNN)})
v5341_mwarning1
{F 04.01, r0100, c0010} + {F 04.06, r0100, c0010} = sum({F 20.04, r0120, c0011, (sNNN)})
v5342_mwarning1
{F 04.01, r0110, c0010} + {F 04.06, r0110, c0010} = sum({F 20.04, r0130, c0011, (sNNN)})
v5343_mwarning1
{F 04.01, r0120, c0010} + {F 04.06, r0120, c0010} = sum({F 20.04, r0140, c0011, (sNNN)})
v5344_mwarning1
{F 04.01, r0130, c0010} + {F 04.06, r0130, c0010} = sum({F 20.04, r0150, c0011, (sNNN)})