v23438_hwarning60
with{(r0010, r0020, r0030, r0040, r0060, r0061, r0062, r0063, r0064, r0066, r0070, r0080, r0100, r0110, r0120, r0140, r0141, r0142, r0144, r0150, r0170), default: 0, interval: true}: {tF_01.02, c0010} = {tF_20.02, c0010} + {tF_20.02, c0020}
v3961_swarning40
with {tF_20.02, c*, default: null, interval: false}: {(r0010, r0020, r0030, r0040, r0050, r0060, r0061, r0062, r0063, r0064, r0065, r0066, r0070, r0080, r0090, r0100, r0110, r0120, r0130, r0140, r0141, r0142, r0143, r0144, r0150, r0170, r0180, r0190, r0200, r0210, r0215, r0220)} >= 0
v3898_serror20
with {tF_01.02, c0010, default: null, interval: false}: {(r0010, r0020, r0030, r0040, r0050, r0060, r0061, r0062, r0063, r0064, r0065, r0066, r0070, r0080, r0090, r0100, r0110, r0120, r0130, r0140, r0141, r0142, r0143, r0144, r0150, r0170, r0175, r0180, r0190, r0200, r0210, r0220, r0230, r0240, r0250, r0260, r0270, r0280, r0290, r0295, r0300)} >= 0
v0957_mwarning12
{r0220} = {r0010} + {r0061} + {r0070} + {r0110} + {r0141} + {r0150} + {r0160} + {r0170} + {r0180} + {r0190} + {r0200} + {r0210} + {r0215}
v0954_mwarning10
{r0010} = {r0020} + {r0030} + {r0040} + {r0050} + {r0060}
v5098_mwarning10
{r0061} = sum(r0062-0066)
v6062_mwarning10
sum({F 20.06, r0070, c0010, (sNNN)}) = {F 20.02, r0040, c0010} + {F 20.02, r0040, c0020} + {F 20.02, r0064, c0010} + {F 20.02, r0064, c0020} + {F 20.02, r0080, c0010} + {F 20.02, r0080, c0020} + {F 20.02, r0120, c0010} + {F 20.02, r0120, c0020} + {F 20.02, r0142, c0010} + {F 20.02, r0142, c0020}
v0775_mwarning6
{F 01.03, r0310} = sum({F 01.02, ({r0010}, {r0061}, {r0070}, {r0110}, {r0141}, {r0150}, {r0160}, {r0170}, {r0240}, {r0270}, {r0280}, {r0290}, {r0295})}) + {F 01.03, r0300}
v0955_mwarning6
{r0070} = {r0080} + {r0090} + {r0100}
v0956_mwarning6
{r0110} = {r0120} + {r0130} + {r0140}
v1698_mwarning6
{r0300} = {r0010} + {r0061} + {r0070} + {r0110} + {r0141} + {r0150} + {r0160} + {r0170} + {r0240} + {r0270} + {r0280} + {r0290} + {r0295}
v5099_mwarning6
{r0141} = sum(r0142-0144)
v6060_mwarning6
sum({F 20.06, r0010, c0010, (sNNN)}) = {F 20.02, r0020, c0010} + {F 20.02, r0020, c0020} + {F 20.02, r0062, c0010} + {F 20.02, r0062, c0020} + {F 20.02, r0150, c0010} + {F 20.02, r0150, c0020}
v0770_merror5
{r0010} = {r0020} + {r0030} + {r0040} + {r0050} + {r0060}
v1008_mwarning5
sum({F 30.02, r0100, (c0010-0030)}) <= sum({F 01.02, c0010, (r0040, r0064, r0080, r0120, r0142)})
v2854_mwarning5
with {c0010, default: 0, interval: true}: {tF_32.04.a, r0040} <= sum ({tF_01.02, (r0040, r0064, r0080, r0120, r0142)})
v6061_mwarning4
sum({F 20.06, r0040, c0010, (sNNN)}) = {F 20.02, r0030, c0010} + {F 20.02, r0030, c0020} + {F 20.02, r0063, c0010} + {F 20.02, r0063, c0020}
v0771_merror3
{r0070} = {r0080} + {r0090} + {r0100}
v0772_merror3
{r0110} = {r0120} + {r0130} + {r0140}
v08998_mwarning3
{P 01.02, r360, c010} = {F 01.02, r0020, c0010} + {F 01.02, r0062, c0010} + {F 01.02, r0150, c0010}
v1007_mwarning3
sum({F 30.02, r0090, (c0010-0030)}) <= sum({F 01.02, c0010, (r0020, r0062, r0150)})
v23881_hwarning3
with{tF_01.02, c0010, default: 0, interval: true}: {r0070} = {r0080} + {r0090} + {r0100}
v23882_hwarning3
with{tF_01.02, c0010, default: 0, interval: true}: {r0110} = {r0120} + {r0130} + {r0140}
v23883_hwarning3
with{tF_01.02, c0010, default: 0, interval: true}: {r0141} = {r0142} + {r0143} + {r0144}
v2852_mwarning3
with {c0010, default: 0, interval: true}: {tF_32.04.a, r0020} <= sum ({tF_01.02, (r0020, r0062, r0150)})