v3901_swarning6
with {tF_04.01, default: null, interval: false}: {r*, c0010} >= 0
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)})
v23396_hwarning1
with{default: 0, interval: true}: {tF_04.01, r0060, c0010} = {tF_20.01, r0080, c0010} + {tF_20.01, r0080, c0020}
v23876_hwarning1
with{tF_04.01, c0010, default: 0, interval: true}: {r0190} = {r0005} + {r0060} + {r0120} + {r0010}
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}
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)})