v5705_swarning1
with {tF_18.00.b, default: null, interval: false}: {(r0005, r0010, r0020, r0030, r0040, r0050, r0060, r0070, r0080, r0090, r0100, r0110, r0120, r0130, r0140, r0150, r0160, r0170, r0180, r0181, r0182, r0183, r0184, r0185, r0186, r0191, r0192, r0193, r0194, r0195, r0196, r0197, r0201, r0211, r0212, r0213, r0214, r0215, r0216, r0221, r0222, r0223, r0224, r0225, r0226, r0227, r0231, r0330, r0335, r0900, r0903, r0910, r0913, r0920, r0923, r0930, r0933), (c0130, c0150, c0160, c0170, c0180, c0191, c0192, c0196, c0197)} <= 0
v6054_mwarning1
{F 05.01, r0080, c0010} >= sum({F 20.04, r0150, c0010, (sNNN)}) - sum({F 20.04, r0150, c0011, (sNNN)}) + sum({F 20.04, r0150, c0031, (sNNN)}) + sum({F 20.04, r0150, c0040, (sNNN)})