v3901_swarning5
with {tF_04.01, default: null, interval: false}: {r*, c0010} >= 0
v0799_merror1
{r0060} = sum(r0070-0110)
v0800_merror1
{r0120} = sum(r0130-0180)
v1219_merror1
{r0010} >= {r0030} + {r0040} + {r0050}
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}
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)})
v5337_mwarning1
{F 04.01, r0060, c0010} + {F 04.06, r0060, c0010} = sum({F 20.04, r0080, c0011, (sNNN)})
v5343_mwarning1
{F 04.01, r0120, c0010} + {F 04.06, r0120, c0010} = sum({F 20.04, r0140, c0011, (sNNN)})