v903537_hwarning126
with{(r0010, r0020, r0050, r0060, r0070, r0080, r0090, r0091, r0092, r0093, r0094, r0095, r0096, r0097, r0098, r0099, r0100, r0110, r0120, r0130, r0141, r0142, r0143, r0144, r0171, r0172, r0173, r0174, r0175, r0176, r0177, r0178, r0182, r0183, r0231, r0232, r0233, r0234, r0235, r0236, r0237, r0240), default: 0, interval: true}: {tF_01.01, c0010} = {tF_20.01, c0010} + {tF_20.01, c0020}
v3960_swarning84
with {tF_20.01, c*, default: null, interval: false}: {(r0010, r0020, r0030, r0040, r0050, r0060, r0070, r0080, r0090, r0091, r0092, r0093, r0094, r0095, r0096, r0097, r0098, r0099, r0100, r0110, r0120, r0130, r0141, r0142, r0143, r0144, r0171, r0172, r0173, r0174, r0175, r0176, r0177, r0178, r0181, r0182, r0183, r0231, r0232, r0233, r0234, r0235, r0236, r0237, r0240, r0260, r0270, r0280, r0290, r0300, r0310, r0320, r0330)} >= 0
v3897_swarning42
with {tF_01.01, c0010, default: null, interval: false}: {(r0010, r0020, r0030, r0040, r0050, r0060, r0070, r0080, r0090, r0091, r0092, r0093, r0094, r0095, r0096, r0097, r0098, r0099, r0100, r0110, r0120, r0130, r0141, r0142, r0143, r0144, r0171, r0172, r0173, r0174, r0175, r0176, r0177, r0178, r0181, r0182, r0183, r0231, r0232, r0233, r0234, r0235, r0236, r0237, r0240, r0260, r0270, r0280, r0290, r0300, r0310, r0320, r0330, r0340, r0350, r0360, r0370, r0380, r0390)} >= 0
v0953_mwarning22
{r0320} = {r0010} + {r0050} + {r0091} + {r0096} + {r0100} + {r0141} + {r0171} + {r0175} + {r0181} + {r0231} + {r0234} + {r0240} + {r0250} + {r0260} + {r0270} + {r0280} + {r0290} + {r0300} + {r0310} + {r0315}
v1086_mwarning20
{F 04.05, r0030, c0010} <= sum({F 01.01, c0010, (r0030, r0040, r0080, r0090, r0094, r0095, r0098, r0099, r0120, r0130, r0143, r0144, r0173, r0174, r0177, r0178, r0182, r0183, r0232, r0233, r0236, r0237)})
v0768_mwarning11
{r0380} = {r0010} + {r0050} + {r0091} + {r0096} + {r0100} + {r0141} + {r0171} + {r0175} + {r0181} + {r0231} + {r0234} + {r0240} + {r0250} + {r0260} + {r0270} + {r0300} + {r0330} + {r0360} + {r0370} + {r0375}
v08986_mwarning10
{P 01.01, r205, c010} = {F 01.01, r0080, c0010} + {F 01.01, r0094, c0010} + {F 01.01, r0098, c0010} + {F 01.01, r0120, c0010} + {F 01.01, r0143, c0010} + {F 01.01, r0173, c0010} + {F 01.01, r0177, c0010} + {F 01.01, r0182, c0010} + {F 01.01, r0232, c0010} + {F 01.01, r0236, c0010}
v0950_mwarning10
{r0050} = sum(r0060-0090)
v1005_mwarning10
sum({F 30.02, r0050, (c0010-0030)}) <= sum({F 01.01, c0010, (r0080, r0094, r0098, r0120, r0143, r0173, r0177, r0182, r0232, r0236)})
v1006_mwarning10
sum({F 30.02, r0060, (c0010-0030)}) <= sum({F 01.01, c0010, (r0030, r0040, r0090, r0095, r0099, r0130, r0144, r0174, r0178, r0183, r0233, r0237)})
v1028_mwarning10
sum({F 31.01, r0030, (c0010-0050)}) <= sum({F 01.01, c0010, (r0080, r0094, r0098, r0120, r0143, r0173, r0177, r0182, r0232, r0236)})
v1029_mwarning10
sum({F 31.01, r0040, (c0010-0050)}) <= sum({F 01.01, c0010, (r0030, r0040, r0090, r0095, r0099, r0130, r0144, r0174, r0178, r0183, r0233, r0237)})
v1728_mwarning10
{r0091} = sum(r0092-0095)
v23871_hwarning10
with{tF_20.01, c*, default: 0, interval: true}: {r0050} = {r0060} + {r0080} + {r0090} + {r0070}
v23872_hwarning10
with{tF_20.01, c*, default: 0, interval: true}: {r0091} = {r0092} + {r0094} + {r0095} + {r0093}
v2817_mwarning10
sum({F 32.01, r0040, (c0010, c0060)}) = sum({F 01.01, c0010, (r0080, r0094, r0098, r0120, r0143, r0173, r0177, r0182, r0232, r0236)})
v2821_mwarning10
sum({F 32.01, r0100, (c0010, c0060)}) <= sum({F 01.01, (r0090, r0095, r0099, r0130, r0144, r0174, r0178, r0183, r0233, r0237), c0010})
v08987_mwarning8
{P 01.01, r207, c010} = {F 01.01, r0070, c0010} + {F 01.01, r0093, c0010} + {F 01.01, r0097, c0010} + {F 01.01, r0110, c0010} + {F 01.01, r0142, c0010} + {F 01.01, r0172, c0010} + {F 01.01, r0176, c0010} + {F 01.01, r0390, c0010} + {F 01.01, r0235, c0010}
v0951_mwarning8
{r0100} = sum(r0110-0130)
v0952_mwarning8
{r0141} = sum(r0142-0144)
v1004_mwarning8
sum({F 30.02, r0040, (c0010-0030)}) <= sum({F 01.01, c0010, (r0070, r0093, r0097, r0110, r0142, r0172, r0176, r0235, r0390)})
v1026_mwarning8
sum({F 31.01, r0020, (c0010-0050)}) <= sum({F 01.01, c0010, (r0070, r0093, r0097, r0110, r0142, r0172, r0176, r0235, r0260, r0390)})
v1069_mwarning8
sum({F 13.01, r0010, (c0010, c0020, c0030, c0031, c0032, c0041, c0050)}) <= sum({F 01.01, c0010, (r0030, r0040, r0099, r0130, r0144, r0174, r0178, r0183, r0233, r0237)})
v1729_mwarning8
{r0171} = sum(r0172-0174)
v1730_mwarning8
{r0175} = sum(r0176-0178)