v905424_swarning4
with {tF_16.01.1, default: null, interval: false}: {(r0010, r0015, r0020, r0030, r0040, r0050, r0060, r0070, r0080, r0090, r0100, r0110, r0120, r0130, r0140, r0141, r0142, r0150, r0160, r0170, r0180, r0190, r0200, r0210, r0220, r0230, r0240, r0260, r0270, r0280, r0290), (c0010, c0020)} >= 0
v905426_swarning4
with {tF_16.01.1, default: null, interval: false}: {(r0010, r0015, r0230, r0240, r0260, r0270, r0290), (c0016, c0030)} >= 0
v904526_mwarning2
with{default: 0, interval: true}: {tF_02.01, r0606, c0010} >= {tF_16.01.1, r0270, c0016} - {tF_16.01.1, r0270, c0030} + {tF_16.02.1, r0070, c0030} + {tF_16.03.1, r0090, c0030} + {tF_16.06.1, r0050, c0030}
v904616_mwarning2
with {tF_16.01.1, (c0010, c0020), default: 0, interval: true}: ({r0270}) = ({r0010} + {r0020} + {r0080} + {r0150} + {r0160} + {r0230} + {r0240} + {r0250} + {r0260})
v904618_mwarning2
with {tF_16.01.1, (c0016, c0030), default: 0, interval: true}: ({r0270}) = ({r0010} + {r0230} + {r0240} + {r0250} + {r0260})
v904702_mwarning2
with {tF_16.01.1, (c0010, c0015, c0020, c0025), default: 0, interval: true}: {r0280} <= {r0270}