v3908_swarning5
with {tF_04.06, default: null, interval: false}: {r*, c0010} >= 0
v5033_merror1
{r0060} = sum(r0070-0110)
v5034_merror1
{r0120} = sum(r0130-0180)
v5126_merror1
{r0010} >= {r0030} + {r0040} + {r0050}
v23378_hwarning1
with{default: 0, interval: true}: {tF_04.06, r0120, c0010} = {tF_20.01, r0095, c0010} + {tF_20.01, r0095, c0020}
v23386_hwarning1
with{default: 0, interval: true}: {tF_04.06, r0005, c0010} = {tF_20.01, r0092, c0010} + {tF_20.01, r0092, c0020}
v23390_hwarning1
with{default: 0, interval: true}: {tF_04.06, r0010, c0010} = {tF_20.01, r0093, c0010} + {tF_20.01, r0093, c0020}
v23397_hwarning1
with{default: 0, interval: true}: {tF_04.06, r0060, c0010} = {tF_20.01, r0094, c0010} + {tF_20.01, r0094, c0020}
v23404_hwarning1
with{default: 0, interval: true}: {tF_04.06, r0190, c0010} = {tF_20.01, r0091, c0010} + {tF_20.01, r0091, 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)})