Content Options

Content Options

View Options

Status: Please note you should read all Brexit changes to the FCA Handbook and BTS alongside the main FCA transitional directions. Where these directions apply the 'standstill', firms have the choice between complying with the pre-IP completion day rules, or the post-IP completion day rules. To see a full list of Handbook modules affected, please see Annex B to the main FCA transitional directions.

You are viewing the version of the document as on 2021-01-01.

Status: In this content, we have included all amendments made by EU exit-related instruments up to end September 2020. There will be more amendments to be made later this year, further to the September QCP.

ANNEX XV

ID

Tables used in formula 

Formula applies to 

Formula

T1

T2

T3

T4

T5

T6

Rows

Columns

Sheets

v0002_h

C 18.00

(060)

(All)

{r011} = +{r210} + {r020}

v0003_h

C 23.00

(010;020;030;040;050;060)

{r010} = +{r080} + {r070} + {r090}

v0004_h

C 21.00

(060)

(All)

{r090} = +{r100} + {r110} + {r120} + {r130}

v0005_h

C 23.00

(060)

{r100} = +{r110} + {r120} + {r130} + {r140}

v0006_h

C 18.00

(060)

(All)

{r350} = +{r360} + {r370} + {r380} + {r390}

v0007_h

C 22.00

(090)

{r050} = +{r060} + {r070} + {r080} + {r090}

v0008_h

C 07.00.a

(010;020;030;040;050;060;070;080;090;110;130)

(All)

{c130} >= +{c140}

v0009_h

C 12.00

(010;020;030;040;050;060;070;080;090;100;110;120;130;140;150;160;170;180;190;200;210;220;230;240)

{c070} = +{c050} +{c060}

v0010_h

C 07.00.a

(010;020;030;040;050;060;070;080;090;110;130;140;150;160;170;180;190;200;220;230;240;250;260;270;280)

(All)

{c040} = +{c010} +{c030}

v0011_h

C 07.00.c

(290;310)

(All)

{c040} = +{c010} +{c030}

v0012_h

C 07.00.d

(300;320)

(All)

{c040} = +{c010} +{c030}

v0022_h

C 05.02

(010)

{r040} = +{r060} + {r050} + {r070}

v0023_h

C 05.02

(010)

{r110} = +{r130} + {r120} + {r140}

v0050_h

F 01.01

(010)

{r300} = +{r310} + {r320}

v0057_h

F 01.03

(010)

{r210} = +{r230} + {r220} + {r215}

v0058_h

F 01.03

(010)

{r200} = +{r203} + {r202} + {r204} + {r201}

v0059_h

F 01.03

(010)

{r205} = +{r207} + {r206} + {r208} + {r209}

v0067_h

F 01.01

(010)

{r180} = +{r190} + {r200}

v0069_h

F 01.01

(010)

{r210} = +{r220} + {r230}

v0071_h

F 01.01

(010)

{r231} = +{r232} + {r233}

v0101_h

C 40.00

(010;020;050;070)

{r010} = +{r050} + {r020} + {r060}

v0102_h

C 40.00

(050;070)

{r020} = +{r040} + {r030}

v0108_h

C 04.00

(010)

{r070} = +{r090} + {r080}

v0128_h

C 04.00

(010)

{r010} = +{r020} + {r040} + {r030}

v0129_h

F 01.03

(010)

{r010} = +{r020} + {r030}

v0130_h

F 01.03

(010)

{r050} = +{r060} + {r070}

v0132_h

C 40.00

(070)

{r110} >= +{r120}

v0133_h

C 40.00

(070)

{r170} >= +{r180}

v0136_h

F 02.00

(010)

{r670} = +{r630} + {r640} + {r632}

v0138_h

F 02.00

(010)

{r630} = +{r610} - {r620}

v0141_h

F 02.00

(010)

{r360} = +{r380} + {r370}

v0143_h

F 02.00

(010)

{r640} = +{r650} - {r660}

v0144_h

F 02.00

(010)

{r632} = +{r633} - {r634}

v0145_h

F 01.03

(010)

{r270} = +{r280} + {r290}

v0147_h

C 06.00

(All)

{c150} = +{c210} +{c180}

v0148_h

C 01.00

(010)

{r010} = +{r530} + {r020} + {r750}

v0149_h

C 06.00

(All)

{c120} = +{c210} +{c180} +{c230}

v0150_h

C 02.00

(010)

{r490} = +{r500} + {r510}

v0172_m

C 01.00

(010)

{r020} = {r030} + {r130} + {r180} + {r200} + {r210} + {r220} + {r230} + {r240} + {r250} + {r300} + {r340} + {r370} + {r380} + {r390} + {r430} + {r440} + {r450} + {r460} + {r470} + {r471} + {r472} + {r480} + {r490} + {r500} + {r510} + {r520} + {r524} + {r529}

v0173_m

C 01.00

{r030,c010} = {r040,c010} + {r060,c010} + {r070,c010} + {r092,c010}

v0174_m

C 01.00

{r070,c010} = {r080,c010} + {r090,c010} + {r091,c010}

v0175_m

C 01.00

{r130,c010} = {r140,c010} + {r150,c010}

v0176_m

C 01.00

{r150,c010} = {r160,c010} + {r170,c010}

v0177_m

C 01.00

{r250,c010} = {r260,c010} + {r270,c010} + {r280,c010} + {r285,c010} + {r290,c010}

v0178_m

C 01.00

{r300,c010} = {r310,c010} + {r320,c010} + {r330,c010}

v0179_m

C 01.00

{r340,c010} = {r350,c010} + {r360,c010}

v0180_m

C 01.00

{r390,c010} = {r400,c010} + {r410,c010} + {r420,c010}

v0181_m

C 01.00

{r440,c010} = -{r740,c010}

v0182_m

C 01.00

(c010)

{r530} = {r540} + {r660} + {r670} + {r680} + {r690} + {r700} + {r710} + {r720} + {r730} + {r740} + {r744} + {r748}

v0183_m

C 01.00

{r540,c010} = {r550,c010} + {r570,c010} + {r580,c010} + {r622,c010}

v0184_m

C 01.00

{r580,c010} = {r590,c010} + {r620,c010} + {r621,c010}

v0185_m

C 01.00

{r720,c010} = -{r970,c010}

v0186_m

C 01.00

(010)

{r750} = {r760} + {r880} + {r890} + {r900} + {r910} + {r920} + {r930} + {r940} + {r950} + {r960} + {r970} + {r974} + {r978}

v0187_m

C 01.00

{r760,c010} = {r770,c010} + {r790,c010} + {r800,c010} + {r842,c010}

v0188_m

C 01.00

{r800,c010} = {r810,c010} + {r840,c010} + {r841,c010}

v0189_m

C 01.00

C 05.01

{C 01.00, r070,c010} = {C 05.01, r210,c060}

v0190_m

C 01.00

C 05.01

{C 01.00, r230,c010} = {C 05.01, r090,c060}

v0191_m

C 01.00

C 05.01

{C 01.00, r370,c010} = {C 05.01, r170,c060}

v0192_m

C 01.00

C 05.01

{C 01.00, r380,c010} = {C 05.01, r180,c060}

v0193_m

C 01.00

C 05.01

{C 01.00, r390,c010} = {C 05.01, r190,c060}

v0194_m

C 01.00

C 05.01

{C 01.00, r480,c010} = {C 05.01, r350,c060}

v0195_m

C 01.00

C 05.01

{C 01.00, r500,c010} = {C 05.01, r400,c060}

v0196_m

C 01.00

C 05.01

{C 01.00, r580,c010} = {C 05.01, r220,c060}

v0197_m

C 01.00

C 05.01

{C 01.00, r670,c010} = {C 05.01, r091,c060}

v0198_m

C 01.00

C 05.01

{C 01.00, r700,c010} = {C 05.01, r360,c060}

v0199_m

C 01.00

C 05.01

{C 01.00, r710,c010} = {C 05.01, r410,c060}

v0200_m

C 01.00

C 05.01

{C 01.00, r800,c010} = {C 05.01, r230,c060}

v0201_m

C 01.00

C 05.01

{C 01.00, r890,c010} = {C 05.01, r092,c060}

v0202_m

C 01.00

C 05.01

{C 01.00, r940,c010} = {C 05.01, r370,c060}

v0203_m

C 01.00

C 05.01

{C 01.00, r950,c010} = {C 05.01, r420,c060}

v0204_m

C 02.00

{r010,c010} = {r040,c010} + {r490,c010} + {r520,c010} + {r590,c010} + {r630,c010} + {r640,c010} + {r680,c010} + {r690,c010}

v0205_m

C 02.00

{r040,c010} = {r050,c010} + {r240,c010} + {r460,c010}

v0206_m

C 02.00

{r050,c010} = {r060,c010} + {r220,c010}

v0207_m

C 02.00

{r060,c010} = {r070,c010} + {r080,c010} + {r090,c010} + {r100,c010} + {r110,c010} + {r120,c010} + {r130,c010} + {r140,c010} + {r150,c010} + {r160,c010} + {r170,c010} + {r180,c010} + {r190,c010} + {r200,c010} + {r210,c010} + {r211,c010}

v0208_m

C 02.00

{r220,c010} >= {r230,c010}

v0209_m

C 02.00

{r240,c010} = {r250,c010} + {r310,c010} + {r420,c010} + {r430,c010} + {r450,c010}

v0210_m

C 02.00

{r250,c010} = {r260,c010} + {r270,c010} + {r280,c010} + {r290,c010} + {r300,c010}

v0211_m

C 02.00

{r310,c010} = {r320,c010} + {r330,c010} + {r340,c010} + {r350,c010} + {r360,c010} + {r370,c010} + {r380,c010} + {r390,c010} + {r400,c010} + {r410,c010}

v0212_m

C 02.00

{r430,c010} >= {r440,c010}

v0213_m

C 02.00

{r530,c010} = {r540,c010} + {r550,c010} + {r560,c010} + {r570,c010}

v0214_m

C 02.00

{r590,c010} = {r600,c010} + {r610,c010} + {r620,c010}

v0215_m

C 02.00

{r640,c010} = {r650,c010} + {r660,c010} + {r670,c010}

v0216_m

C 02.00

{r690,c010} >= {r710,c010} + {r750,c010} + {r760,c010}

v0217_m

C 02.00

{r710,c010} >= {r720,c010} + {r730,c010} + {r740,c010}

v0218_m

C 01.00

C 03.00

C 02.00

{C 01.00, r020,c010} = {C 02.00, r010,c010} * {C 03.00, r010,c010}

v0219_m

C 01.00

C 03.00

C 02.00

{C 03.00, r020,c010} = {C 01.00, r020,c010} - ({C 02.00, r010,c010} * 4.5%)

v0220_m

C 01.00

C 03.00

C 02.00

{C 01.00, r015,c010} = {C 02.00, r010,c010} * {C 03.00, r030,c010}

v0221_m

C 01.00

C 03.00

C 02.00

{C 03.00, r040,c010} = {C 01.00, r015,c010} - ({C 02.00, r010,c010} * 6%)

v0222_m

C 01.00

C 03.00

C 02.00

{C 01.00, r010,c010} = {C 02.00, r010,c010} * {C 03.00, r050,c010}

v0223_m

C 01.00

C 03.00

C 02.00

{C 03.00, r060,c010} = {C 01.00, r010,c010} - ({C 02.00, r010,c010} * 8%)

v0224_m

C 04.00

{r050,c010} = {r060,c010} + {r070,c010}

v0225_m

C 04.00

{r100,c010} = {r110,c010} - {r140,c010}

v0226_m

C 04.00

{r110,c010} = {r120,c010} + {r130,c010} + {r131,c010}

v0227_m

C 04.00

{r230,c010} = {r240,c010} + {r270,c010} + {r291,c010}

v0228_m

C 04.00

{r240,c010} = {r250,c010} + {r260,c010}

v0229_m

C 04.00

{r270,c010} = {r280,c010} + {r290,c010}

v0230_m

C 04.00

{r291,c010} = {r292,c010} + {r293,c010}

v0231_m

C 04.00

{r300,c010} = {r310,c010} + {r340,c010} + {r361,c010}

v0232_m

C 04.00

{r310,c010} = {r320,c010} + {r330,c010}

v0233_m

C 04.00

{r340,c010} = {r350,c010} + {r360,c010}

v0234_m

C 04.00

{r361,c010} = {r362,c010} + {r363,c010}

v0235_m

C 04.00

{r370,c010} = {r380,c010} + {r410,c010} + {r431,c010}

v0236_m

C 04.00

{r380,c010} = {r390,c010} + {r400,c010}

v0237_m

C 04.00

{r410,c010} = {r420,c010} + {r430,c010}

v0238_m

C 04.00

{r431,c010} = {r432,c010} + {r433,c010}

v0239_m

C 04.00

{r440,c010} = {r450,c010} + {r480,c010} + {r501,c010}

v0240_m

C 04.00

{r450,c010} = {r460,c010} + {r470,c010}

v0241_m

C 04.00

{r480,c010} = {r490,c010} + {r500,c010}

v0242_m

C 04.00

{r501,c010} = {r502,c010} + {r503,c010}

v0243_m

C 04.00

{r510,c010} = {r520,c010} + {r550,c010} + {r571,c010}

v0244_m

C 04.00

{r520,c010} = {r530,c010} + {r540,c010}

v0245_m

C 04.00

{r550,c010} = {r560,c010} + {r570,c010}

v0246_m

C 04.00

{r571,c010} = {r572,c010} + {r573,c010}

v0247_m

C 04.00

{r580,c010} = {r590,c010} + {r620,c010} + {r641,c010}

v0248_m

C 04.00

{r590,c010} = {r600,c010} + {r610,c010}

v0249_m

C 04.00

{r620,c010} = {r630,c010} + {r640,c010}

v0250_m

C 04.00

{r641,c010} = {r642,c010} + {r643,c010}

v0251_m

C 04.00

{r145,c010} = {r150,c010} - {r155,c010}

v0252_m

C 05.01

(010;020;030)

{r030} = {r040} + {r050}

v0253_m

C 05.01

(010;020;030)

{r070} = {r080} + {r090} + {r091} + {r092}

v0255_m

C 05.01

{r100,c020} = {r140,c020} + {r430,c020}

v0256_m

C 05.01

{r100,c030} = {r140,c030} + {r430,c030}

v0257_m

C 05.01

(010;020;030;040)

{r240} = {r250} + {r280} + {r310}

v0258_m

C 05.01

(010;020;030;040)

{r250} = {r260} + {r270}

v0259_m

C 05.01

{r140,c020} = {r150,c020} + {r160,c020} + {r180,c020} + {r200,c020} + {r240,c020} + {r340,c020} + {r390,c020}

v0260_m

C 05.01

{r140,c030} = {r180,c030} + {r200,c030} + {r240,c030} + {r340,c030} + {r390,c030}

v0261_m

C 05.01

(010;020;030;040;060)

{r340} = {r350} + {r360} + {r370}

v0262_m

C 05.01

(010;020;030;040)

{r390} = {r400} + {r410} + {r420}

v0264_m

C 05.01

(010;020;030)

{r100} = {r110} + {r140} + {r430}

v0265_m

C 05.01

{r110,c010} = {r120,c010} + {r130,c010} + {r133,c010} + {r136,c010} + {r138,c010}

v0266_m

C 05.01

{r140,c010} = {r150,c010} + {r160,c010} + {r170,c010} + {r180,c010} + {r190,c010} + {r200,c010} + {r240,c010} + {r340,c010} + {r380,c010} + {r390,c010} + {r425,c010}

v0267_m

C 05.01

(010;020;030;040)

{r280} = {r290} + {r300}

v0268_m

C 05.01

(010;020;030;040)

{r310} = {r320} + {r330}

v0269_m

C 05.01

{r140,c040} = {r170,c040} + {r200,c040} + {r240,c040} + {r340,c040} + {r380,c040} + {r390,c040}

v0270_m

C 05.01

(010;020;040)

{r200} = {r210} + {r220} + {r230}

v0271_m

C 05.01

{r200,c030} = {r220,c030} + {r230,c030}

v0274_m

C 05.01

C 05.02

{C 05.01, r060,c010} = {C 05.02, r010,c060}

v0275_m

C 05.01

C 05.02

{C 05.01, r060,c020} = {C 05.02, r020,c060}

v0276_m

C 05.01

C 05.02

{C 05.01, r060,c030} = {C 05.02, r090,c060}

v0277_m

C 05.02

{r020,c010} = {r030,c010} + {r040,c010} + {r080,c010}

v0278_m

C 05.02

{r090,c010} = {r100,c010} + {r110,c010} + {r150,c010}

v0279_m

C 06.00

(All)

{C 06.00, c120} >= {C 06.00, c130}

v0280_m

C 06.00

(All)

{C 06.00, c120} >= {C 06.00, c140}

v0281_m

C 06.00

(All)

{C 06.00, c150} >= {C 06.00, c160}

v0282_m

C 06.00

(All)

{C 06.00, c150} >= {C 06.00, c170}

v0283_m

C 06.00

(All)

{C 06.00, c180} >= {C 06.00, c190}

v0284_m

C 06.00

(All)

{C 06.00, c180} >= {C 06.00, c200}

v0285_m

C 06.00

(All)

{C 06.00, c210} >= {C 06.00, c220}

v0286_m

C 06.00

(All)

{C 06.00, c230} >= {C 06.00, c240}

v0287_m

C 06.00

(All)

{C 06.00, c250} = {C 06.00, c260} + {C 06.00, c270} + {C 06.00, c280} + {C 06.00, c290}

v0288_m

C 06.00

(All)

{C 06.00, c300} = {C 06.00, c310} + {C 06.00, c340}

v0293_m

C 06.00

(All)

{c070} = {c080} + {c090} + {c100} + {c110}

v0304_m

C 07.00.a

(070;080)

(All)

{c010} >= {c020}

v0305_m

C 07.00.a

(010-090;110;130)

(All)

{c090} = {c050} + {c060} + {c070} + {c080}

v0306_m

C 07.00.a

(010-090;110;130)

(All)

{c110} = {c040} + {c090} + {c100}

v0307_m

C 07.00.a

(010-090;110;130)

(All)

{c150} = {c110} + {c120} + {c130}

v0308_m

C 07.00.a

(010-060;080;140-280)

(All)

{c200} = {c150} - {c160} - (0.8 * {c170}) - (0.5 * {c180})

v0309_m

C 07.00.a

C 07.00.b

(090;110;130)

(All)

{C 07.00.a, c200} = {C 07.00.b, c210}

v0310_m

C 07.00.a

(010;030-150;200-220)

(All)

{r010} = {r070} + {r080} + {r090} + {r110} + {r130}

v0311_m

C 07.00.a

(160-190)

(All)

{r010} = {r080}

v0312_m

C 07.00.a

(150-240)

(All)

{r010} = {r140} + {r150} + {r160} + {r170} + {r180} + {r190} + {r200} + {r210} + {r220} + {r230} + {r240} + {r250} + {r260} + {270} + {r280}

v0313_m

C 07.00.a

(010;030;040)

(All)

{r010} = {r140} + {r150} + {r160} + {r170} + {r180} + {r190} + {r200} + {r220} + {r230} + {r240} + {r250} + {r260} + {270} + {r280}

v0314_m

C 07.00.a

(010;200)

(All)

{r090} >= {r100}

v0315_m

C 07.00.a

(010;200)

(All)

{r110} >= {r120}

v0316_m

C 07.00.a

(All)

{r140,c215} = 0

v0317_m

C 07.00.a

(All)

{r140,c220} = 0

v0318_m

C 07.00.a

(All)

{r150,c215} = {r150,c200} * 2%

v0319_m

C 07.00.a

(All)

{r170,c215} = {r170,c200} * 10%

v0320_m

C 07.00.a

(All)

{r180,c215} = {r180,c200} * 20%

v0321_m

C 07.00.a

(All)

{r190,c215} = {r190,c200} * 35%

v0322_m

C 07.00.a

(All)

{r200,c215} = {r200,c200} * 50%

v0323_m

C 07.00.a

(All)

{r210,c215} = {r210,c200} * 70%

v0324_m

C 07.00.a

(All)

{r220,c215} = {r220,c200} * 75%

v0325_m

C 07.00.a

(All)

{r230,c215} = {r230,c200}

v0326_m

C 07.00.a

(All)

{r240,c215} = {r240,c200} * 150%

v0327_m

C 07.00.a

(All)

{r250,c215} = {r250,c200} * 250%

v0328_m

C 07.00.a

(All)

{r270,c215} = {r270,c200} * 1250%

v0329_m

C 07.00.a

(All)

(All)

{c215} >= {c220}

v0330_m

C 08.01.a

C 08.01.b

(010;070-170)

(All)

{C 08.01.b, c120} <= {C 08.01.a, c110}

v0331_m

C 08.01.a

(020;090;110;260;280;290)

(All)

{r120} <= {r110}

v0332_m

C 08.01.a

(010;070)

(All)

{c030} <= {c020}

v0333_m

C 08.01.a

C 08.01.b

(010;070;090-170)

(All)

{C 08.01.b, c100} <= {C 08.01.a, c090}

v0334_m

C 08.01.a

C 08.01.b

(010;070-180)

(All)

{C 08.01.b, c130} <= {C 08.01.a, c110}

v0335_m

C 08.01.a

(010;070)

(All)

{c140} <= {c110}

v0336_m

C 08.01.a

(010;070)

(All)

{c270} <= {c260}

v0337_m

C 08.01.a

(020;040;050;060;070;080;090;110;150-220;260;280;290)

(All)

{r010} = {r020} + {r030} + {r040} + {r050} + {r060}

v0338_m

C 08.01.a

(020;090;110;260;280;290)

(All)

{r010} = {r070} + {r080} + {r160} + {r170} + {r180}

v0339_m

C 08.01.a

(020;090;110;260;280;290)

(All)

{r080} = {r090} + {r100} + {r110} + {r130} + {r140} + {r150} + {r160}

v0340_m

C 08.01.a

C 08.02

(020-220;260-290)

(All)

{C 08.01.a, r070} = sum({C 08.02, (rNNN)})

v0341_m

C 08.01.a

(All)

(All)

{c260} <= {c255}

v0342_m

C 08.02

(All)

(All)

{c030} <= {c020}

v0343_m

C 08.02

(All)

(All)

{c100} <= {c090}

v0344_m

C 08.02

(All)

(All)

{c130} <= {c110}

v0345_m

C 08.02

(All)

(All)

{c140} <= {c110}

v0346_m

C 08.02

(All)

(All)

{c270} <= {c260}

v0347_m

C 08.02

(All)

(All)

{c090} = {c020} + {c070} + {c080}

v0348_m

C 08.02

(All)

(All)

{c260} <= {c255}

v0350_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r010, c010, (sNNN)}) = {C 07.00.a, r010,c010, s002}

v0351_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r010, c075, (sNNN)}) = {C 07.00.a, r010,c200, s002}

v0352_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r010, c080, (sNNN)}) = {C 07.00.a, r010,c215, s002}

v0353_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r020, c010, (sNNN)}) = {C 07.00.a, r010,c010, s003}

v0354_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r020, c075, (sNNN)}) = {C 07.00.a, r010,c200, s003}

v0355_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r020, c080, (sNNN)}) = {C 07.00.a, r010,c215, s003}

v0356_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r030, c010, (sNNN)}) = {C 07.00.a, r010,c010, s004}

v0357_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r030, c075, (sNNN)}) = {C 07.00.a, r010,c200, s004}

v0358_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r030, c080, (sNNN)}) = {C 07.00.a, r010,c215, s004}

v0359_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r040, c010, (sNNN)}) = {C 07.00.a, r010,c010, s005}

v0360_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r040, c075, (sNNN)}) = {C 07.00.a, r010,c200, s005}

v0361_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r040, c080, (sNNN)}) = {C 07.00.a, r010,c215, s005}

v0362_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r050, c010, (sNNN)}) = {C 07.00.a, r010,c010, s006}

v0363_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r050, c075, (sNNN)}) = {C 07.00.a, r010,c200, s006}

v0364_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r050, c080, (sNNN)}) = {C 07.00.a, r010,c215, s006}

v0365_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r060, c010, (sNNN)}) = {C 07.00.a, r010,c010, s007}

v0366_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r060, c075, (sNNN)}) = {C 07.00.a, r010,c200, s007}

v0367_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r060, c080, (sNNN)}) = {C 07.00.a, r010,c215, s007}

v0368_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r070, c010, (sNNN)}) = {C 07.00.a, r010,c010, s008}

v0369_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r070, c075, (sNNN)}) = {C 07.00.a, r010,c200, s008}

v0370_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r070, c080, (sNNN)}) = {C 07.00.a, r010,c215, s008}

v0371_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r075, c010, (sNNN)}) = {C 07.00.a, r020,c010, s008}

v0372_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r075, c075, (sNNN)}) = {C 07.00.a, r020,c200, s008}

v0373_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r075, c080, (sNNN)}) = {C 07.00.a, r020,c215, s008}

v0374_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r080, c010, (sNNN)}) = {C 07.00.a, r010,c010, s009}

v0375_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r080, c075, (sNNN)}) = {C 07.00.a, r010,c200, s009}

v0376_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r080, c080, (sNNN)}) = {C 07.00.a, r010,c215, s009}

v0377_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r085, c010, (sNNN)}) = {C 07.00.a, r020,c010, s009}

v0378_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r085, c075, (sNNN)}) = {C 07.00.a, r020,c200, s009}

v0379_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r085, c080, (sNNN)}) = {C 07.00.a, r020,c215, s009}

v0380_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r090, c010, (sNNN)}) = {C 07.00.a, r010,c010, s010}

v0381_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r090, c075, (sNNN)}) = {C 07.00.a, r010,c200, s010}

v0382_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r090, c080, (sNNN)}) = {C 07.00.a, r010,c215, s010}

v0383_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r095, c010, (sNNN)}) = {C 07.00.a, r020,c010, s010}

v0384_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r095, c075, (sNNN)}) = {C 07.00.a, r020,c200, s010}

v0385_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r095, c080, (sNNN)}) = {C 07.00.a, r020,c215, s010}

v0386_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r100, c010, (sNNN)}) = {C 07.00.a, r010,c010, s011}

v0387_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r100, c075, (sNNN)}) = {C 07.00.a, r010,c200, s011}

v0388_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r100, c080, (sNNN)}) = {C 07.00.a, r010,c215, s011}

v0389_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r110, c010, (sNNN)}) = {C 07.00.a, r010,c010, s012}

v0390_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r110, c075, (sNNN)}) = {C 07.00.a, r010,c200, s012}

v0391_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r110, c080, (sNNN)}) = {C 07.00.a, r010,c215, s012}

v0392_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r120, c010, (sNNN)}) = {C 07.00.a, r010,c010, s013}

v0393_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r120, c075, (sNNN)}) = {C 07.00.a, r010,c200, s013}

v0394_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r120, c080, (sNNN)}) = {C 07.00.a, r010,c215, s013}

v0395_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r130, c010, (sNNN)}) = {C 07.00.a, r010,c010, s014}

v0396_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r130, c075, (sNNN)}) = {C 07.00.a, r010,c200, s014}

v0397_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r130, c080, (sNNN)}) = {C 07.00.a, r010,c215, s014}

v0398_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r140, c010, (sNNN)}) = {C 07.00.a, r010,c010, s015}

v0399_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r140, c075, (sNNN)}) = {C 07.00.a, r010,c200, s015}

v0400_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r140, c080, (sNNN)}) = {C 07.00.a, r010,c215, s015}

v0401_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r150, c010, (sNNN)}) = {C 07.00.a, r010,c010, s016}

v0402_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r150, c075, (sNNN)}) = {C 07.00.a, r010,c200, s016}

v0403_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r150, c080, (sNNN)}) = {C 07.00.a, r010,c215, s016}

v0404_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r160, c010, (sNNN)}) = {C 07.00.a, r010,c010, s017}

v0405_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r160, c075, (sNNN)}) = {C 07.00.a, r010,c200, s017}

v0406_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r160, c080, (sNNN)}) = {C 07.00.a, r010,c215, s017}

v0407_m

C 09.01.a

(070-095)

(All)

{c080} >= {c090}

v0408_m

C 09.01.a

(All)

(All)

{r075} <= {r070}

v0409_m

C 09.01.a

(All)

(All)

{r085} <= {r080}

v0410_m

C 09.01.a

(All)

(All)

{r095} <= {r090}

v0411_m

C 09.01.b

(All)

(All)

{r075} <= {r070}

v0412_m

C 09.01.b

(All)

(All)

{r085} <= {r080}

v0413_m

C 09.01.b

(All)

(All)

{r095} <= {r090}

v0414_m

C 09.02

(010-140)

(All)

{c105} >= {c030}

v0415_m

C 09.02

C 08.01.a

sum({C 09.02, r010, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s003-004)})

v0416_m

C 09.02

C 08.01.a

sum({C 09.02, r010, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s003-004)})

v0417_m

C 09.02

C 08.01.a

sum({C 09.02, r010, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s003-004)})

v0418_m

C 09.02

C 08.01.a

sum({C 09.02, r010, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s003-004)})

v0420_m

C 09.02

C 08.01.a

sum({C 09.02, r020, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s005-006)})

v0421_m

C 09.02

C 08.01.a

sum({C 09.02, r020, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s005-006)})

v0422_m

C 09.02

C 08.01.a

sum({C 09.02, r020, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s005-006)})

v0423_m

C 09.02

C 08.01.a

sum({C 09.02, r020, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s005-006)})

v0425_m

C 09.02

C 08.01.a

sum({C 09.02, r030, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s007-012)})

v0426_m

C 09.02

C 08.01.a

sum({C 09.02, r030, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s007-012)})

v0427_m

C 09.02

C 08.01.a

sum({C 09.02, r030, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s007-012)})

v0428_m

C 09.02

C 08.01.a

sum({C 09.02, r030, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s007-012)})

v0430_m

C 09.02

C 08.01.a

sum({C 09.02, r040, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s009-010)})

v0431_m

C 09.02

C 08.01.a

sum({C 09.02, r040, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s009-010)})

v0432_m

C 09.02

C 08.01.a

sum({C 09.02, r040, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s009-010)})

v0433_m

C 09.02

C 08.01.a

sum({C 09.02, r040, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s009-010)})

v0435_m

C 09.02

C 08.01.a

sum({C 09.02, r050, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s007-008)})

v0436_m

C 09.02

C 08.01.a

sum({C 09.02, r050, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s007-008)})

v0437_m

C 09.02

C 08.01.a

sum({C 09.02, r050, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s007-008)})

v0438_m

C 09.02

C 08.01.a

sum({C 09.02, r050, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s007-008)})

v0440_m

C 09.02

C 08.01.a

sum({C 09.02, r060, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s013-017)})

v0441_m

C 09.02

C 08.01.a

sum({C 09.02, r060, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s013-017)})

v0442_m

C 09.02

C 08.01.a

sum({C 09.02, r060, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s013-017)})

v0443_m

C 09.02

C 08.01.a

sum({C 09.02, r060, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s013-017)})

v0445_m

C 09.02

C 08.01.a

sum({C 09.02, r070, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s013-014)})

v0446_m

C 09.02

C 08.01.a

sum({C 09.02, r070, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s013-014)})

v0447_m

C 09.02

C 08.01.a

sum({C 09.02, r070, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s013-014)})

v0448_m

C 09.02

C 08.01.a

sum({C 09.02, r070, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s013-014)})

v0450_m

C 09.02

C 08.01.a

sum({C 09.02, r080, c010, (sNNN)}) = {C 08.01.a, r010,c020, s013}

v0451_m

C 09.02

C 08.01.a

sum({C 09.02, r080, c105, (sNNN)}) = {C 08.01.a, r010,c110, s013}

v0452_m

C 09.02

C 08.01.a

sum({C 09.02, r080, c090, (sNNN)}) = {C 08.01.a, r010,c230, s013}

v0453_m

C 09.02

C 08.01.a

sum({C 09.02, r080, c110, (sNNN)}) = {C 08.01.a, r010,c255, s013}

v0455_m

C 09.02

C 08.01.a

sum({C 09.02, r090, c010, (sNNN)}) = {C 08.01.a, r010,c020, s014}

v0456_m

C 09.02

C 08.01.a

sum({C 09.02, r090, c105, (sNNN)}) = {C 08.01.a, r010,c110, s014}

v0457_m

C 09.02

C 08.01.a

sum({C 09.02, r090, c090, (sNNN)}) = {C 08.01.a, r010,c230, s014}

v0458_m

C 09.02

C 08.01.a

sum({C 09.02, r090, c110, (sNNN)}) = {C 08.01.a, r010,c255, s014}

v0460_m

C 09.02

C 08.01.a

sum({C 09.02, r100, c010, (sNNN)}) = {C 08.01.a, r010,c020, s015}

v0461_m

C 09.02

C 08.01.a

sum({C 09.02, r100, c105, (sNNN)}) = {C 08.01.a, r010,c110, s015}

v0462_m

C 09.02

C 08.01.a

sum({C 09.02, r100, c090, (sNNN)}) = {C 08.01.a, r010,c230, s015}

v0463_m

C 09.02

C 08.01.a

sum({C 09.02, r100, c110, (sNNN)}) = {C 08.01.a, r010,c255, s015}

v0465_m

C 09.02

C 08.01.a

sum({C 09.02, r110, c010, (sNNN)}) = sum({C 08.01.a, r010, c020, (s016-017)})

v0466_m

C 09.02

C 08.01.a

sum({C 09.02, r110, c105, (sNNN)}) = sum({C 08.01.a, r010, c110, (s016-017)})

v0467_m

C 09.02

C 08.01.a

sum({C 09.02, r110, c090, (sNNN)}) = sum({C 08.01.a, r010, c230, (s016-017)})

v0468_m

C 09.02

C 08.01.a

sum({C 09.02, r110, c110, (sNNN)}) = sum({C 08.01.a, r010, c255, (s016-017)})

v0470_m

C 09.02

C 08.01.a

sum({C 09.02, r120, c010, (sNNN)}) = {C 08.01.a, r010,c020, s016}

v0471_m

C 09.02

C 08.01.a

sum({C 09.02, r120, c105, (sNNN)}) = {C 08.01.a, r010,c110, s016}

v0472_m

C 09.02

C 08.01.a

sum({C 09.02, r120, c090, (sNNN)}) = {C 08.01.a, r010,c230, s016}

v0473_m

C 09.02

C 08.01.a

sum({C 09.02, r120, c110, (sNNN)}) = {C 08.01.a, r010,c255, s016}

v0475_m

C 09.02

C 08.01.a

sum({C 09.02, r130, c010, (sNNN)}) = {C 08.01.a, r010,c020, s017}

v0476_m

C 09.02

C 08.01.a

sum({C 09.02, r130, c105, (sNNN)}) = {C 08.01.a, r010,c110, s017}

v0477_m

C 09.02

C 08.01.a

sum({C 09.02, r130, c090, (sNNN)}) = {C 08.01.a, r010,c230, s017}

v0478_m

C 09.02

C 08.01.a

sum({C 09.02, r130, c110, (sNNN)}) = {C 08.01.a, r010,c255, s017}

v0480_m

C 10.01

(020;050)

{c050} = {c030} + {c040}

v0481_m

C 10.01

(020)

{c070} >= 65%

v0482_m

C 10.01

C 02.00

{r010,c080} = {C 02.00, r420,c010}

v0483_m

C 10.01

(020;060;080;090)

{r050} = {r070} + {r080} + {r090}

v0484_m

C 10.01

{r070,c080} = {r070,c060} * 190%

v0485_m

C 10.01

{r070,c090} = {r070,c060} * 0.8%

v0486_m

C 10.01

{r080,c080} = {r080,c060} * 290%

v0487_m

C 10.01

{r080,c090} = {r080,c060} * 0.8%

v0488_m

C 10.01

{r090,c080} = {r090,c060} * 370%

v0489_m

C 10.01

{r090,c090} = {r090,c060} * 2.4%

v0490_m

C 10.01

C 10.02

{C 10.01, r020, c010}=({C 10.02, r001, c010}*{C 10.02, r001, c060}+{C 10.02, r002, c010}*{C 10.02, r002, c060}+…+{C 10.02, rNNN, c010}*{C 10.02, rNNN, c060})/{C 10.01, r020, c060}

v0491_m

C 10.01

C 10.02

{C 10.01, r020, c070}=({C 10.02, r001, c070}*{C 10.02, r001, c060}+{C 10.02, r002, c070}*{C 10.02, r002, c060}+…+{C 10.02, rNNN, c070}*{C 10.02, rNNN, c060})/{C 10.01, r020, c060}

v0492_m

C 10.01

C 10.02

(020;060;080;090)

{C 10.01, r020} = sum({C 10.02, (rNNN)})

v0493_m

C 10.02

(All)

{c070} >= 65%

v0494_m

C 11.00

(020;080)

{c030} = {c020} * 0%

v0495_m

C 11.00

(060;120)

{c030} = {c020} * 100%

v0496_m

C 11.00

(040;100)

{c030} = {c020} * 50%

v0497_m

C 11.00

(050;110)

{c030} = {c020} * 75%

v0498_m

C 11.00

(030;090)

{c030} = {c020} * 8%

v0499_m

C 11.00

(010;070)

{c040} = {c030} * 12.5

v0500_m

C 11.00

C 02.00

{r010,c040} = {C 02.00, r500,c010}

v0501_m

C 11.00

(010-030)

{r010} = {r020} + {r030} + {r040} + {r050} + {r060}

v0502_m

C 11.00

C 02.00

{r070,c040} = {C 02.00, r510,c010}

v0503_m

C 11.00

(010-030)

{r070} = {r080} + {r090} + {r100} + {r110} + {r120}

v0505_m

C 12.00

(010-240)

{c120} = {c070} + {c100} + {c110}

v0506_m

C 12.00

(010-240)

{c140} = {c120} + {c130}

v0507_m

C 12.00

(010-090;110-290)

{c210} = {c190} + {c200}

v0508_m

C 12.00

(250-290)

{c210} = {c220} + {c230} + {c240} + {c250} + {c260} + {c270}

v0509_m

C 12.00

(010-090;110-240)

{c210} = {c220} + {c230} + {c240} + {c250} + {c260} + {c270} + {c280} + {c310}

v0511_m

C 12.00

C 02.00

{r010,c380} = {C 02.00, r220,c010}

v0512_m

C 12.00

(010-040)

{r010} = {r030}

v0513_m

C 12.00

(050-370)

{r010} = {r030} + {r110} + {r180}

v0514_m

C 12.00

(190-270;330;340)

{r010} = {r250} + {r260} + {r270} + {r280} + {r290}

v0515_m

C 12.00

C 02.00

{r020,c380} = {C 02.00, r230,c010}

v0516_m

C 12.00

(010-040;200;220-270;290-320)

{r030} = {r040} + {r070}

v0517_m

C 12.00

(050-140;190;210;280;330-370)

{r030} = {r040} + {r070} + {r100}

v0518_m

C 12.00

(010-140;190-370)

{r040} = {r050} + {r060}

v0519_m

C 12.00

(010-370)

{r070} = {r080} + {r090}

v0520_m

C 12.00

{r100,c210} = {r100,c280}

v0521_m

C 12.00

(050-140;190-370)

{r110} = {r120} + {r150}

v0522_m

C 12.00

(050-140;190-370)

{r120} = {r130} + {r140}

v0523_m

C 12.00

(050-370)

{r150} = {r160} + {r170}

v0524_m

C 12.00

(050-140;190-370)

{r180} = {r190} + {r220}

v0525_m

C 12.00

(050-140;190-370)

{r190} = {r200} + {r210}

v0526_m

C 12.00

(050-370)

{r220} = {r230} + {r240}

v0527_m

C 12.00

(All)

abs({r020}) <= abs({r010})

v0529_m

C 13.00

(010-420)

{c100} = {c050} + {c080} + {c090}

v0530_m

C 13.00

(010-420)

{c120} = {c100} + {c110}

v0531_m

C 13.00

(010-150;170-540)

{c190} = {c170} + {c180}

v0532_m

C 13.00

(010-150;170-540)

{c190} = {c200} + {c210} + {c220} + {c230} + {c240} + {c250} + {c260} + {c270} + {c280} + {c290} + {c300} + {c310} + {c320} + {c330} + {c350} + {c370}

v0533_m

C 13.00

(040-090)

{c190} = {c200} + {c210} + {c220} + {c230} + {c240} + {c250} + {c260} + {c270} + {c280} + {c290} + {c300} + {c310} + {c320} + {c330} + {c370}

v0535_m

C 13.00

C 02.00

{r010,c450} = {C 02.00, r430,c010}

v0536_m

C 13.00

(010-040)

{r010} = {r030}

v0537_m

C 13.00

(050-440)

{r010} = {r030} + {r170} + {r300}

v0538_m

C 13.00

(170-320;400;410)

{r010} = {r430} + {r440} + {r450} + {r460} + {r470} + {r480} + {r490} + {r500} + {r510} + {r520} + {r530} + {r540}

v0539_m

C 13.00

C 02.00

{r020,c450} = {C 02.00, r440,c010}

v0540_m

C 13.00

(010-040;180;200-340;370;380)

{r030} = {r040} + {r100}

v0541_m

C 13.00

(050-120;170;190;390-440)

{r030} = {r040} + {r100} + {r160}

v0542_m

C 13.00

(010-120;170-340;370-440)

{r040} = {r050} + {r060} + {r070} + {r080} + {r090}

v0543_m

C 13.00

(010-440)

{r100} = {r110} + {r120} + {r130} + {r140} + {r150}

v0544_m

C 13.00

{r160,c170} = {r160,c190}

v0545_m

C 13.00

{r160,c190} = {r160,c350}

v0546_m

C 13.00

(050-120;170-440)

{r170} = {r180} + {r240}

v0547_m

C 13.00

(050-120;170-440)

{r180} = {r190} + {r200} + {r210} + {r220} + {r230}

v0548_m

C 13.00

(050-440)

{r240} = {r250} + {r260} + {r270} + {r280} + {r290}

v0549_m

C 13.00

(050-120;170-440)

{r300} = {r310} + {r370}

v0550_m

C 13.00

(050-120;170-440)

{r310} = {r320} + {r330} + {r340} + {r350} + {r360}

v0551_m

C 13.00

(050-440)

{r370} = {r380} + {r390} + {r400} + {r410} + {r420}

v0552_m

C 13.00

(All)

abs({r020}) <= abs({r010})

v0553_m

C 14.00

(All)

{c340} + {c350} + {c360} = {c370} + {c380} + {c390} + {c400}

v0554_m

C 15.00

(010;020)

(All)

{c010} >= {c020}

v0555_m

C 15.00

(010;020)

(All)

{c030} >= {c010}

v0556_m

C 15.00

(010;020)

(All)

{c030} >= {c040}

v0557_m

C 16.00.a

C 02.00

{r010,c071} = {C 02.00, r600,c010}

v0558_m

C 16.00.a

{r010,c071} = {r010,c070} * 12.5

v0559_m

C 16.00.a

C 02.00

{r020,c071} = {C 02.00, r610,c010}

v0560_m

C 16.00.a

{r020,c071} = {r020,c070} * 12.5

v0562_m

C 16.00.b

{r130,c071} = {r130,c070} * 12.5

v0563_m

C 16.00.a

if {r010,c010} > 0 or {r010,c020} > 0 or {r010,c030} > 0 then {r010,c070} > 0

v0564_m

C 17.00.a

(010;110;210;310;410;510;610;710;810;910)

{c080} = {c010} + {c020} + {c030} + {c040} + {c050} + {c060} + {c070}

v0565_m

C 17.00.a

(020;120;220;320;420;520;620;720;820;920)

{c080} = {c010} + {c020} + {c030} + {c040} + {c050} + {c060} + {c070}

v0566_m

C 17.00.a

(010;020;030;040;050;060;070)

{r910} = {r010} + {r110} + {r210} + {r310} + {r410} + {r510} + {r610} + {r710} + {r810}

v0567_m

C 17.00.a

(010;020;030;040;050;060;070;080)

{r920} = {r020} + {r120} + {r220} + {r320} + {r420} + {r520} + {r620} + {r720} + {r820}

v0568_m

C 17.00.b

(020;120;220;320;420;520;620;720;820)

{c090} <= {c100}

v0569_m

C 18.00

(All)

{r010,c060} * 12.5 = {r010,c070}

v0570_m

C 18.00

(All)

{r010,c060} = {r011,c060} + {r250,c060} + {r340,c060} + {r350,c060}

v0571_m

C 18.00

(All)

{r250,c060} = {r251,c060} + {r325,c060} + {r330,c060}

v0572_m

C 18.00

(All)

{r251,c060} = {r260,c060} + {r270,c060} + {r310,c060} + {r320,c060} + {r321,c060}

v0574_m

C 18.00

(All)

{r270,c060} = {r280,c060} + {r290,c060} + {r300,c060}

v0578_m

C 18.00

(All)

{r310,c050} * 0.08 = {r310,c060}

v0579_m

C 18.00

(All)

{r320,c050} * 0.12 = {r320,c060}

v0580_m

C 18.00

C 02.00

sum({C 18.00, r010, c070, (sNNN)}) = {C 02.00, r540,c010}

v0581_m

C 19.00

(120-140;160;190;210;220;350-370;390;420;440;450)

{r010} = {r020}

v0582_m

C 19.00

(530;540)

{r010} = {r030} + {r060}

v0583_m

C 19.00

(010-060;090-110;170;200;230-250;270-280;320-340;400;430;460-480;500-510;550-600)

{r010} = {r030} + {r060} + {r090}

v0587_m

C 19.00

(010-060)

{r010} >= {r020}

v0589_m

C 19.00

(530;540)

{r030} = {r040}

v0590_m

C 19.00

(010-060;090-110;170;200;230-250;270-280;320-340;400;430;460-480;500-510;550-600)

{r030} = {r040} + {r050}

v0592_m

C 19.00

(120-140;160;190;210;220;350-370;390;420;440;450)

{r030} = {r050}

v0593_m

C 19.00

(530;540)

{r060} = {r070}

v0594_m

C 19.00

(010-060;090-110;170;200;230-250;270-280;320-340;400;430;460-480;500-510;550-600)

{r060} = {r070} + {r080}

v0596_m

C 19.00

(120-140;160;190;210;220;350-370;390;420;440;450)

{r060} = {r080}

v0597_m

C 19.00

(010-060)

{r090} = {r100} + {r110}

v0598_m

C 19.00

(120-140;160;190;210;220;350-370;390;420;440;450)

{r090} = {r110}

v0600_m

C 20.00

(030;060;090)

{c050} = sum(c070-150, c170-190, c210, c220)

v0601_m

C 20.00

(010;020;040;050;070;080;100;110;120)

{c050} = sum(c070-190, c210, c220)

v0602_m

C 20.00

(030;060;090)

{c060} = sum(c240-320, c340-360, c380, c390)

v0603_m

C 20.00

(010;020;040;050;070;080;100;110;120)

{c060} = sum(c240-360, c380, c390)

v0604_m

C 20.00

(All)

{c410} >= {c430}

v0605_m

C 20.00

(All)

{c420} >= {c440}

v0606_m

C 20.00

{r010,c200} = ({r020,c190} * {r020,c200} + {r050,c190} * {r050,c200} + {r080,c190} * {r080,c200}) / {r010,c190}

v0607_m

C 20.00

{r010,c230} = ({r020,c220} * {r020,c230} + {r050,c220} * {r050,c230} + {r080,c220} * {r080,c230}) / {r010,c220}

v0608_m

C 20.00

{r010,c370} = ({r020,c360} * {r020,c370} + {r050,c360} * {r050,c370} + {r080,c360} * {r080,c370}) / {r010,c360}

v0609_m

C 20.00

{r010,c400} = ({r020,c390} * {r020,c400} + {r050,c390} * {r050,c400} + {r080,c390} * {r080,c400}) / {r010,c390}

v0610_m

C 20.00

(190-230;360-400)

{r010} = {r020} + {r050} + {r080}

v0611_m

C 20.00

(010-180;240-350;410-440)

{r010} = {r020} + {r050} + {r080} + {r110} + {r120}

v0612_m

C 20.00

(010-150;170-180;240-320;340-350)

{r020} = {r030} + {r040}

v0613_m

C 20.00

(160;330)

{r020} = {r040}

v0614_m

C 20.00

(010-150;170-180;240-320;340-350)

{r050} = {r060} + {r070}

v0615_m

C 20.00

(160;330)

{r050} = {r070}

v0616_m

C 20.00

(010-150;170-180;240-320;340-350)

{r080} = {r090} + {r100}

v0617_m

C 20.00

(160;330)

{r080} = {r100}

v0619_m

C 21.00

(All)

{r010,c060} * 12.5 = {r010,c070}

v0620_m

C 21.00

(All)

{r010,c060} = {r020,c060} + {r050,c060} + {r080,c060} + {r090,c060}

v0621_m

C 21.00

(All)

{r020,c050} * 0.08 = {r020,c060}

v0622_m

C 21.00

(030-040)

(All)

{r020} = {r030} + {r040}

v0623_m

C 21.00

(All)

{r050,c050} * 0.08 = {r050,c060}

v0624_m

C 21.00

C 02.00

sum({C 21.00, r010,c070,(sNNN)}) = {C 02.00, r550,c010}

v0625_m

C 22.00

{r010,c090} * 12.5 = {r010,c100}

v0626_m

C 22.00

{r010,c090} = {r020,c090} + {r030,c090} + {r040,c090} + {r050,c090}

v0627_m

C 22.00

(020-050)

{r010} = {r020} + {r030} + {r040}

v0628_m

C 22.00

(020;030)

{r010} <= +{r120} + {r100} + {r110}

v0629_m

C 22.00

C 02.00

{C 22.00, r010,c100} = {C 02.00, r560,c010}

v0630_m

C 23.00

{r010,c060} * 12.5 = {r010,c070}

v0631_m

C 23.00

{r010,c060} = {r070,c060} + {r080,c060} + {r090,c060} + {r100,c060}

v0632_m

C 23.00

(010-060)

{r010} = {r020} + {r030} + {r040} + {r050}

v0633_m

C 23.00

(010-060)

{r010} = {r070} + {r080} + {r090}

v0634_m

C 23.00

C 02.00

{C 23.00, r010,c070} = {C 02.00, r570,c010}

v0635_m

C 24.00

{r010,c090} = max({r010,c170}, {r010,c180}) * 0.08

v0636_m

C 24.00

{r010,c120} * 12.5 = {r010,c130}

v0637_m

C 24.00

{r010,c120} = max({r010,c030}, {r010,c040}) + max({r010,c050}, {r010,c060}) + max({r010,c070}, {r010,c080}) + max({r010,c090}, {r010,c100}, {r010,c110})

v0638_m

C 24.00

C 02.00

{C 24.00, r010,c130} = {C 02.00, r580,c010}

v0639_m

C 25.00

(010-040)

{c080} * 12.5 = {c090}

v0640_m

C 25.00

C 02.00

{r010,c090} = {C 02.00, r640,c010}

v0641_m

C 25.00

(010-030;080;090)

{r010} = {r020} + {r030} + {r040}

v0642_m

C 25.00

{r020,c080} = max({r020,c040}, {r020,c050}) + max({r020,c060}, {r020,c070})

v0643_m

C 25.00

C 02.00

{r020,c090} = {C 02.00, r650,c010}

v0644_m

C 25.00

C 02.00

{r030,c090} = {C 02.00, r660,c010}

v0645_m

C 25.00

C 02.00

{r040,c090} = {C 02.00, r670,c010}

v0647_m

C 28.00

(All)

{c040} = sum(c060-180)

v0648_m

C 28.00

(All)

{c040} >= {c050}

v0649_m

C 28.00

(All)

{c040} >= abs({c190} + {c200})

v0650_m

C 28.00

(All)

{c210} = {c040} + {c190} + {c200}

v0651_m

C 28.00

(All)

{c210} >= {c220}

v0652_m

C 28.00

(All)

{c210} >= abs({c240} + {c250} + {c260} + {c270} + {c280} + {c290} + {c300} + {c310} + {c320})

v0653_m

C 28.00

(All)

{c330} = {c210} + {c240} + {c250} + {c260} + {c270} + {c280} + {c290} + {c300} + {c310} + {c320}

v0654_m

C 28.00

(All)

{c330} >= {c340}

v0655_m

C 28.00

C 04.00

(All)

{C 28.00, c230} = {C 28.00, c210} / {C 04.00, r220,c010} * 100

v0656_m

C 28.00

C 04.00

(All)

{C 28.00, c350} = {C 28.00, c330} / {C 04.00, r220,c010} * 100

v0657_m

C 40.00

(010-020;050-090)

{c020} >= {c010}

v0658_m

C 40.00

(010-020;050;070)

{r010} = sum(r020, r050-060)

v0659_m

C 40.00

(050;070)

{r020} = {r030} + {r040}

v0660_m

C 40.00

{r050,c100} <= {r050,c090}

v0661_m

C 40.00

{r050,c090} <= {r050,c080}

v0662_m

C 40.00

{r050,c080} <= {r020,c070}

v0663_m

C 40.00

{r050,c110} <= {r050,c080}

v0664_m

C 40.00

(070)

{r110} <= {r100}

v0665_m

C 40.00

(070)

{r120} <= {r110}

v0666_m

C 40.00

(070)

{r130} <= {r100}

v0667_m

C 40.00

(020)

{r240} <= sum(r070-080)

v0668_m

C 41.00

(010;020)

{r010} = sum(r020-100)

v0669_m

C 42.00

C 01.00

C 45.00.a

{C 42.00, r070,c010} = {C 45.00.a, r150,c030} + sum({C 01.00, c010, (r800, r842, r930-950, r970-974)})

v0670_m

C 42.00

C 01.00

{C 42.00, r020,c010} = {C 01.00, r020,c010}

v0671_m

C 42.00

C 01.00

{C 42.00, r030,c010} = {C 01.00, r010,c010} - sum({C 01.00, c010, (r220, r240, r520, r660, r680, r730, r880, r900, r960)})

v0672_m

C 42.00

C 01.00

{C 42.00, r040,c010} = {C 01.00, r010,c010}

v0673_m

C 42.00

C 01.00

{C 42.00, r050,c010} = sum({C 01.00, c010, (r070, r092, r250, r300, r340, r370-390, r430-510, r524)})

v0674_m

C 42.00

C 01.00

{C 42.00, r060,c010} = {C 42.00, r050,c010} + {C 01.00, r520,c010}

v0675_m

C 42.00

C 01.00

{C 42.00, r080,c010} = {C 42.00, r070,c010} + sum({C 01.00, c010, (r520, r730, r960)})

v0676_m

C 42.00

C 01.00

{C 42.00, r010,c010} = {C 01.00, r020,c010} - sum({C 01.00, c010, (r220, r240, r520)})

v0677_m

C 43.00.a

C 45.00.a

{C 43.00.a, r010,c010} = sum({C 45.00.a, c030, (r060-090)})

v0678_m

C 43.00.a

C 45.00.a

sum({C 43.00.a, c010, (r040-060)}) = sum({C 45.00.a, c030, (r010-050)})

v0679_m

C 43.00.a

C 07.00.a

C 08.01.a

{C 43.00.a, r010,c020} = {C 07.00.a, r080,c220, s001} + {C 08.01.a, r030,c260, s001}

v0680_m

C 43.00.a

C 07.00.a

C 08.01.a

{C 43.00.a, r040,c020} = {C 07.00.a, r130,c220, s001} + {C 08.01.a, r060,c260, s001}

v0681_m

C 43.00.a

C 07.00.a

C 08.01.a

{C 43.00.a, r050,c020} <= {C 07.00.a, r110,c220, s001} + {C 08.01.a, r050,c260, s001}

v0682_m

C 43.00.a

C 07.00.a

C 08.01.a

{C 43.00.a, r060,c020} >= {C 07.00.a, r090,c220, s001} + {C 08.01.a, r040,c260, s001}

v0683_m

C 43.00.a

(010-020)

{r020} <= {r010}

v0684_m

C 43.00.a

(010-020)

{r030} <= {r020}

v0685_m

C 43.00.b

C 07.00.a

C 12.00

{C 43.00.b, r290,c030} = sum({C 07.00.a, r070, c220, (s012, s014, s015, s016, s017)}) + {C 12.00, r010,c380}

v0686_m

C 43.00.b

C 07.00.a

{C 43.00.b, r080,c030} = {C 07.00.a, r070,c220, s013}

v0687_m

C 43.00.b

C 07.00.a

{C 43.00.b, r100,c030} = {C 07.00.a, r070,c220, s002}

v0688_m

C 43.00.b

C 07.00.a

{C 43.00.b, r180,c030} = {C 07.00.a, r070,c220, s007}

v0689_m

C 43.00.b

C 07.00.a

{C 43.00.b, r190,c030} = {C 07.00.a, r070,c220, s010}

v0690_m

C 43.00.b

C 07.00.a

{C 43.00.b, r200,c030} = {C 07.00.a, r040,c220, s010}

v0691_m

C 43.00.b

C 07.00.a

{C 43.00.b, r210,c030} = {C 07.00.a, r070,c220, s009}

v0692_m

C 43.00.b

C 07.00.a

{C 43.00.b, r220,c030} = {C 07.00.a, r020,c220, s009}

v0693_m

C 43.00.b

C 07.00.a

{C 43.00.b, r230,c030} = {C 07.00.a, r070,c220, s008}

v0694_m

C 43.00.b

C 07.00.a

{C 43.00.b, r260,c030} = {C 07.00.a, r020,c220, s008}

v0695_m

C 43.00.b

C 07.00.a

{C 43.00.b, r280,c030} = {C 07.00.a, r070,c220, s011}

v0696_m

C 43.00.b

C 07.00.a

sum({C 43.00.b, c030, (r110, r150)}) = {C 07.00.a, r070,c220, s003}

v0697_m

C 43.00.b

C 07.00.a

sum({C 43.00.b, c030, (r120, r160)}) = sum({C 07.00.a, r070, c220, (s005-006)})

v0698_m

C 43.00.b

C 07.00.a

sum({C 43.00.b, c030, (r130, r170)}) = {C 07.00.a, r070,c220, s004}

v0699_m

C 43.00.b

C 12.00

{C 43.00.b, r300,c030} = {C 12.00, r010,c380}

v0700_m

C 43.00.b

(010;030)

{r090} = sum(r100-130)

v0701_m

C 43.00.b

(010;030)

{r140} = sum(r150-170)

v0702_m

C 43.00.b

(010;030)

{r200} <= {r190}

v0703_m

C 43.00.b

(010;030)

{r220} <= {r210}

v0704_m

C 43.00.b

(010;030)

{r230} = {r240} + {r250}

v0705_m

C 43.00.b

(010;030)

{r250} = {r260} + {r270}

v0706_m

C 43.00.b

(010;030)

{r300} <= {r290}

v0707_m

C 43.00.b

(010;030)

{r320} <= {r310}

v0708_m

C 43.00.c

C 08.01.a

{C 43.00.c, r090,c040} <= sum({C 08.01.a, r020, c260, (s003-004)})

v0709_m

C 43.00.c

C 08.01.a

{C 43.00.c, r210,c040} <= sum({C 08.01.a, r020, c260, (s013-017)})

v0710_m

C 43.00.c

C 08.01.a

{C 43.00.c, r230,c040} <= sum({C 08.01.a, r020, c260, (s007-012)})

v0711_m

C 43.00.c

C 08.01.a

sum({C 43.00.c, c040, (r080, r140, r180)}) <= sum({C 08.01.a, r020, c260, (s005-006)})

v0712_m

C 43.00.c

(020;040)

{r090} = sum(r100-130)

v0713_m

C 43.00.c

(020;040)

{r140} = sum(r150-170)

v0714_m

C 43.00.c

(020;040)

{r200} <= {r190}

v0715_m

C 43.00.c

(020;040)

{r220} <= {r210}

v0716_m

C 43.00.c

(020;040)

{r230} = {r240} + {r250}

v0717_m

C 43.00.c

(020;040)

{r250} = {r260} + {r270}

v0718_m

C 43.00.c

(020;040)

{r300} <= {r290}

v0719_m

C 43.00.c

(020;040)

{r320} <= {r310}

v0720_m

C 45.00.a

C 01.00

{C 45.00.a, r110,c030} = {C 01.00, r015,c010} - sum({C 01.00, c010, (r220, r240, r520, r660, r680, r730)})

v0721_m

C 45.00.a

C 01.00

{C 45.00.a, r120,c030} = {C 01.00, r015,c010}

v0722_m

C 45.00.a

C 01.00

{C 45.00.a, r160,c030} = sum({C 01.00, c010, (r280-285)})

v0723_m

C 45.00.a

C 01.00

{C 45.00.a, r170,c030} = {C 45.00.a, r150,c030} + sum({C 01.00, c010, (r520, r730)})

v0724_m

C 45.00.a

C 40.00

{C 45.00.a, r040,c030} <= {C 40.00, r010,c050}

v0725_m

C 45.00.a

C 42.00

C 01.00

{C 45.00.a, r150,c030} = {C 42.00, r050,c010} + sum({C 01.00, c010, (r580, r622, r690-720, r740, r744)})

v0726_m

C 45.00.a

C 43.00.a

C 43.00.b

C 43.00.c

{C 45.00.a, r100,c030} = {C 43.00.a, r070,c010} + sum({C 43.00.b, c010, (r080-090, r140, r180-190, r210, r230, r280-290)}) + sum({C 43.00.c, c020, (r080-090, r140, r180-190, r210, r230, r280-290)})

v0727_m

C 45.00.b

C 45.00.a

{C 45.00.b, r180,c040} = sum({C 45.00.a, r180, (c010-030)}) / 3

v0728_m

C 45.00.b

C 45.00.a

{C 45.00.b, r190,c040} = sum({C 45.00.a, r190, (c010-030)}) / 3

v0729_m

C 45.00.a

(010-030)

{r120} >= {r110}

v0730_m

C 45.00.a

(010-030)

{r140} >= {r130}

v0731_m

C 45.00.a

(010-030)

{r170} >= {r150}

v0732_m

C 45.00.a

(010-030)

{r180} = {r110} / (sum(r010-100, r130, r150) - {r160})

v0733_m

C 45.00.a

(010-030)

{r190} = {r120} / (sum(r010-100, r140, r170) - {r160})

v0734_m

C 46.00.a

(All)

{r140} <= {r110}

v0735_m

C 46.00.a

(030)

{r150} <= {r120}

v0763_m

F 01.01

(010)

{r010} = sum(r020-040)

v0764_m

F 01.01

(010)

{r050} = sum(r060-090)

v0765_m

F 01.01

(010)

{r100} = sum(r110-130)

v0766_m

F 01.01

(010)

{r140} = sum(r150-170)

v0767_m

F 01.01

(010)

{r270} = sum(r280-290)

v0768_m

F 01.01

(010)

{r380} = {r010} + {r050} + {r091} + {r100} + {r140} + {r171} + {r175} + {r180} + {r210} + {r231} + {r234} + {r240} + {r250} + {r260} + {r270} + {r300} + {r330} + {r360} + {r370}

v0769_m

F 01.01

F 04.01

{F 01.01, r050,c010} >= sum({F 04.01, c010, (r010, r060, r120)})

v0770_m

F 01.02

(010)

{r010} = {r020} + {r030} + {r040} + {r050} + {r060}

v0771_m

F 01.02

(010)

{r070} = {r080} + {r090} + {r100}

v0772_m

F 01.02

(010)

{r110} = {r120} + {r130} + {r140}

v0773_m

F 01.02

(010)

{r170} = {r175} + {r180} + {r190} + {r200} + {r210} + {r220} + {r230}

v0774_m

F 01.02

C 01.00

{F 01.02, r260,c010} >= {C 01.00, r330,c010} + {C 01.00, r360,c010} + {C 01.00, r410,c010} + {C 01.00, r490,c010}

v0775_m

F 01.02

F 01.03

(010)

{F 01.03, r310} = sum({F 01.02, ({r010}, {r061}, {r070}, {r110}, {r141}, {r150}, {r160}, {r170}, {r240}, {r270}, {r280}, {r290})}) + {F 01.03, r300}

v0777_m

F 01.02

F 10.00

{F 01.02, r020,c010} = {F 10.00, r290,c020}

v0779_m

F 01.03

(010)

{r090} = {r095} + {r128}

v0780_m

F 01.03

(010)

{r300} = {r010} + {r040} + {r050} + {r080} + {r090} + {r190} + {r200} + {r205} + {r210} + {r235} + {r240} + {r250} + {r260} + {r270}

v0781_m

F 01.03

C 01.00

{F 01.03, r040,c010} >= {C 01.00, r060}

v0782_m

F 01.03

C 01.00

abs({F 01.03, r090,c010}) > abs({C 01.00, r180,c010})

v0783_m

F 01.03

F 01.01

{F 01.03, r310,c010} = {F 01.01, r380,c010}

v0784_m

F 01.03

F 01.02

F 01.01

{F 01.03, r300,c010} + {F 01.02, r300,c010} = {F 01.01, r380,c010}

v0785_m

F 01.03

F 01.02

{F 01.03, r310,c010} = {F 01.03, r300,c010} + {F 01.02, r300,c010}

v0786_m

F 01.03

F 02.00

{F 01.03, r250,c010} = {F 02.00, r690,c010}

v0787_m

F 02.00

(010)

{r010} = sum(r020-080)

v0788_m

F 02.00

(010)

{r090} = sum(r100-140)

v0789_m

F 02.00

(010)

{r160} = sum(r170-190)

v0790_m

F 02.00

(010)

{r220} = sum(r230-270)

v0791_m

F 02.00

(010)

{r390} = sum(r400-420)

v0792_m

F 02.00

(010)

{r430} = sum(r440-450)

v0793_m

F 02.00

(010)

{r460} = sum(r470-500)

v0794_m

F 02.00

(010)

{r520} = sum(r530-570)

v0795_m

F 02.00

(010)

{r610} = {r010} - {r090} - {r150} + {r160} + {r200} - {r210} + {r220} + {r280} + {r285} + {r290} + {r295} + {r300} + {r310} + {r320} + {r330} + {r340} - {r350} - {r360} - {r390} - {r430} - {r455} - {r460} - {r510} - {r520} + {r580} + {r590} + {r600}

v0798_m

F 02.00

(010)

{r670} = sum(r680-690)

v0799_m

F 04.01

(010-020)

{r060} = sum(r070-110)

v0800_m

F 04.01

(010-020)

{r120} = sum(r130-180)

v0801_m

F 04.02

(010-020)

{r060} = sum(r070-110)

v0802_m

F 04.02

(010-020)

{r120} = sum(r130-180)

v0803_m

F 04.02

(010)

{r190} = {r010} + {r060} + {r120}

v0804_m

F 04.02

(020)

{r190} = {r060} + {r120}

v0805_m

F 04.03

(010-190)

{c030} = sum(c010-020)

v0806_m

F 04.03

(010-040)

{r060} = sum(r070-110)

v0807_m

F 04.03

(010-040)

{r120} = sum(r130-180)

v0808_m

F 04.03

(010-040)

{r190} = {r010} + {r060} + {r120}

v0809_m

F 04.04

(010-280)

{c060} = {c010} + {c020} + {c030} + {c040} + {c050}

v0810_m

F 04.04

(010-060)

{r010} = sum(r020-060)

v0811_m

F 04.04

(010-060)

{r070} = sum(r080-130)

v0812_m

F 04.04

(010-060)

{r150} = sum(r160-200)

v0813_m

F 04.04

(010-060)

{r210} = sum(r220-270)

v0814_m

F 04.04

F 01.01

{F 01.01, r210,c010} = {F 04.04, r280,c060}

v0815_m

F 04.04

F 01.01

{F 01.01, r220,c010} = {F 04.04, r150,c060}

v0816_m

F 04.04

F 01.01

{F 01.01, r230,c010} = {F 04.04, r210,c060}

v0817_m

F 07.00

(070;110)

{r010} >= {r020}

v0818_m

F 07.00

(070;110)

{r010} >= sum(r030-050)

v0819_m

F 07.00

(010-110)

{r060} = sum(r070-110)

v0820_m

F 07.00

(010-110)

{r120} = sum(r130-180)

v0821_m

F 07.00

(010-090)

{r120} = sum(r200-260)

v0822_m

F 07.00

(010-090)

{r120} >= {r310}

v0823_m

F 07.00

(010-090)

{r120} >= sum(r270-280)

v0824_m

F 07.00

(010-090)

{r120} >= sum(r290-300)

v0825_m

F 07.00

(070;110)

{r190} = {r010} + {r060} + {r120}

v0826_m

F 07.00

(010-060;080-104)

{r190} = {r060} + {r120}

v0827_m

F 08.01.a

(010;034)

{r020} = {r030} + {r040}

v0828_m

F 08.01.a

(010-035)

{r050} = {r060} + {r110} + {r160} + {r210} + {r260} + {r310}

v0829_m

F 08.01.a

F 08.01.b

(010;034)

{F 08.01.b, r450} = sum({F 08.01.a, ({r010}, {r020}, {r050}, {r360}, {r440})})

v0830_m

F 08.01.a

F 08.01.b

(020;030;035)

{F 08.01.b, r450} = sum({F 08.01.a, ({r050}, {r360}, {r440})})

v0831_m

F 08.01.a

F 10.00

{F 08.01.a, r010,c010} = {F 10.00, r290,c020}

v0834_m

F 09.01

(010)

{r020} <= {r010}

v0835_m

F 09.01

(010)

{r090} = sum(r110-160)

v0836_m

F 09.01

(010)

{r100} <= {r090}

v0837_m

F 09.01

(010)

{r170} = sum(r190-240)

v0838_m

F 09.01

(010)

{r180} <= {r170}

v0839_m

F 09.02

(020)

{r010} = sum(r020-070)

v0840_m

F 09.02

(010)

{r080} = sum(r090-140)

v0841_m

F 09.02

(020)

{r150} = sum(r160-210)

v0842_m

F 10.00

(010;030;050;070;090;110;130;150;170;190;210-250;270;290)

{c040} <= {c030}

v0843_m

F 10.00

(010-030)

{r010} = sum(r030-060)

v0844_m

F 10.00

(010-030)

{r020} <= {r010}

v0845_m

F 10.00

(010-030)

{r070} = sum(r090-120)

v0846_m

F 10.00

(010-030)

{r080} <= {r070}

v0847_m

F 10.00

(010-030)

{r130} = sum(r150-180)

v0848_m

F 10.00

(010-030)

{r140} <= {r130}

v0849_m

F 10.00

(010-030)

{r200} <= {r190}

v0850_m

F 10.00

(010-030)

{r260} <= {r250}

v0851_m

F 10.00

(010-030)

{r280} <= {r270}

v0852_m

F 10.00

(010-040)

{r290} = sum(r010, r070, r130, r190, r250, r270)

v0853_m

F 10.00

(010-320)

if {c030} != 0 then {c010} != 0 and {c020} != 0 and {c022} != 0 and {c025} != 0 and {c040} != 0

v0854_m

F 10.00

(010-030)

sum(r300-320) <= {r290}

v0855_m

F 10.00

F 01.01

{F 10.00, r290,c010} = {F 01.01, r060,c010}

v0856_m

F 10.00

F 01.02

{F 10.00, r290,c020} = {F 01.02, r020,c010}

v0857_m

F 11.01

(010-020;040;060-070;090;110-120;140;160-250;270;290-300;320;340-350;370;390-500)

{c040} <= {c030}

v0858_m

F 11.01

(010-030)

{r010} = sum(r020-050)

v0859_m

F 11.01

(010-030)

{r060} = sum(r070-100)

v0860_m

F 11.01

(010-030)

{r110} = sum(r120-150)

v0862_m

F 11.01

(010-040)

{r230} = {r010} + {r060} + {r110} + {r160} + {r210} + {r220}

v0863_m

F 11.01

(010-030)

{r240} = sum(r250-280)

v0864_m

F 11.01

(010-030)

{r290} = sum(r300-330)

v0865_m

F 11.01

(010-030)

{r340} = sum(r350-380)

v0867_m

F 11.01

(010-040)

{r460} = {r240} + {r290} + {r340} + {r390} + {r440} + {r450}

v0868_m

F 11.01

(010-530)

if {c030} != 0 then {c010} != 0 and {c020} != 0 and {c040} != 0

v0869_m

F 11.01

(010-030)

sum(r510-530) <= {r500}

v0870_m

F 11.01

F 01.01

{F 11.01, r500,c010} = {F 01.01, r240,c010}

v0874_m

F 05.00

(010)

{r080} = sum(r010-020, r040-070)

v0875_m

F 05.00

(020-060)

{r080} = sum(r010-070)

v0876_m

F 05.00

(050)

{r080} >= {r130}

v0877_m

F 05.00

(060)

{r080} >= sum(r110-120)

v0878_m

F 05.00

(020-060)

{r080} >= sum(r090-100)

v0879_m

F 06.00

(010)

{r190} = sum(r010-180)

v0880_m

F 16.07.a

(010)

{r010} = sum(r020-050)

v0881_m

F 16.07.a

(020)

{r010} = sum(r030-050)

v0882_m

F 16.07.a

(010;020)

{r060} = sum(r070-090)

v0884_m

F 16.07.a

(020)

{r100} = sum(r110-120, r140)

v0885_m

F 16.07.a

(010)

{r100} >= sum(r110-140)

v0886_m

F 16.07.a

(010-020)

{r150} = {r010} + {r060} + {r100}

v0887_m

F 16.07.b

(040)

{r150} = {r060} + {r100}

v0888_m

F 16.07.b

(040)

{r100} = sum(r110-140)

v0889_m

F 12.00

(020-530)

{c070} = {c010} + {c020} + {c030} + {c040} + {c050} + {c060}

v0890_m

F 12.00

(010-090)

{r030} = sum(r040-080)

v0891_m

F 12.00

(010-090)

{r090} = sum(r100-150)

v0892_m

F 12.00

(010-090)

{r170} = sum(r180-220)

v0893_m

F 12.00

(010-090)

{r230} = sum(r240-290)

v0894_m

F 12.00

(010-080)

{r530} = {r020} + {r160} + {r300} + {r330} + {r470} + {r500}

v0895_m

F 12.00

(090)

{r530} = {r010} + {r020} + {r160} + {r300} + {r330} + {r470} + {r500}

v0896_m

F 15.00.a

(010-190)

{c020} + {c030} <= {c010}

v0897_m

F 15.00.a

F 01.01

sum({F 15.00.a, r020, ({c010}, {c080})}) <= {F 01.01, r070,c010}

v0898_m

F 15.00.a

F 01.01

sum({F 15.00.a, r030, ({c010}, {c080})}) <= {F 01.01, r080,c010}

v0899_m

F 15.00.a

F 01.01

sum({F 15.00.a, r040, ({c010}, {c080})}) <= {F 01.01, r090,c010}

v0900_m

F 15.00.a

F 01.01

sum({F 15.00.a, r060, ({c010}, {c080})}) <= {F 01.01, r110,c010}

v0901_m

F 15.00.a

F 01.01

sum({F 15.00.a, r070, ({c010}, {c080})}) <= {F 01.01, r120,c010}

v0902_m

F 15.00.a

F 01.01

sum({F 15.00.a, r080, ({c010}, {c080})}) <= {F 01.01, r130,c010}

v0903_m

F 15.00.a

F 01.01

sum({F 15.00.a, r100, ({c010}, {c080})}) <= {F 01.01, r150,c010}

v0904_m

F 15.00.a

F 01.01

sum({F 15.00.a, r110, ({c010}, {c080})}) <= {F 01.01, r160,c010}

v0905_m

F 15.00.a

F 01.01

sum({F 15.00.a, r120, ({c010}, {c080})}) <= {F 01.01, r170,c010}

v0906_m

F 15.00.a

F 01.01

sum({F 15.00.a, r140, ({c010}, {c080})}) <= {F 01.01, r190,c010}

v0907_m

F 15.00.a

F 01.01

sum({F 15.00.a, r150, ({c010}, {c080})}) <= {F 01.01, r200,c010}

v0908_m

F 15.00.a

F 01.01

sum({F 15.00.a, r170, ({c010}, {c080})}) <= {F 01.01, r220,c010}

v0909_m

F 15.00.a

F 01.01

sum({F 15.00.a, r180, ({c010}, {c080})}) <= {F 01.01, r230,c010}

v0911_m

F 15.00.b

(010-190)

{c050} + {c060} <= {c040}

v0912_m

F 15.00.b

F 08.01.a

{F 15.00.b, r190,c060} <= xsum({F 08.01.a, (r100, r150, r200, r250, r300, r350, c010-035)})

v0914_m

F 14.00

(060)

{r010} = sum(r020-040)

v0915_m

F 14.00

(010-050;070-080)

{r010} = sum(r020-050)

v0916_m

F 14.00

(060)

{r060} = sum(r070-080)

v0917_m

F 14.00

(010-050;070-080)

{r060} = sum(r070-090)

v0918_m

F 14.00

(060)

{r100} = sum(r110-120)

v0919_m

F 14.00

(010-030;070-080)

{r100} = sum(r110-130)

v0920_m

F 14.00

(060)

{r150} = {r160} + {r170} + {r190}

v0921_m

F 14.00

(010-050;070-080)

{r150} = sum(r160-200)

v0922_m

F 14.00

(060)

{r210} = {r230}

v0923_m

F 14.00

(010-050;070-080)

{r210} = sum(r220-240)

v0924_m

F 14.00

F 01.01

sum({F 14.00, r010, (c010-030)}) = {F 01.01, r050,c010}

v0925_m

F 14.00

F 01.01

sum({F 14.00, r020, (c010-030)}) = {F 01.01, r060,c010}

v0926_m

F 14.00

F 01.01

sum({F 14.00, r030, (c010-030)}) = {F 01.01, r070,c010}

v0927_m

F 14.00

F 01.01

sum({F 14.00, r040, (c010-030)}) = {F 01.01, r080,c010}

v0928_m

F 14.00

F 01.01

sum({F 14.00, r050, (c010-030)}) = {F 01.01, r090,c010}

v0929_m

F 14.00

F 01.01

sum({F 14.00, r060, (c010-030)}) = {F 01.01, r100,c010}

v0930_m

F 14.00

F 01.01

sum({F 14.00, r070, (c010-030)}) = {F 01.01, r110,c010}

v0931_m

F 14.00

F 01.01

sum({F 14.00, r080, (c010-030)}) = {F 01.01, r120,c010}

v0932_m

F 14.00

F 01.01

sum({F 14.00, r090, (c010-030)}) = {F 01.01, r130,c010}

v0933_m

F 14.00

F 01.01

sum({F 14.00, r100, (c010-030)}) = {F 01.01, r140,c010}

v0934_m

F 14.00

F 01.01

sum({F 14.00, r110, (c010-030)}) = {F 01.01, r150,c010}

v0935_m

F 14.00

F 01.01

sum({F 14.00, r120, (c010-030)}) = {F 01.01, r160,c010}

v0936_m

F 14.00

F 01.01

sum({F 14.00, r130, (c010-030)}) = {F 01.01, r170,c010}

v0937_m

F 14.00

F 01.01

sum({F 14.00, r140, (c010-030)}) = {F 01.01, r240,c010}

v0938_m

F 14.00

F 01.02

sum({F 14.00, r150, (c010-030)}) = {F 01.02, r010,c010}

v0939_m

F 14.00

F 01.02

sum({F 14.00, r160, (c010-030)}) = {F 01.02, r020,c010}

v0940_m

F 14.00

F 01.02

sum({F 14.00, r170, (c010-030)}) = {F 01.02, r030,c010}

v0941_m

F 14.00

F 01.02

sum({F 14.00, r180, (c010-030)}) = {F 01.02, r040,c010}

v0942_m

F 14.00

F 01.02

sum({F 14.00, r190, (c010-030)}) = {F 01.02, r050,c010}

v0943_m

F 14.00

F 01.02

sum({F 14.00, r200, (c010-030)}) = {F 01.02, r060,c010}

v0944_m

F 14.00

F 01.02

sum({F 14.00, r210, (c010-030)}) = {F 01.02, r070,c010}

v0945_m

F 14.00

F 01.02

sum({F 14.00, r220, (c010-030)}) = {F 01.02, r080,c010}

v0946_m

F 14.00

F 01.02

sum({F 14.00, r230, (c010-030)}) = {F 01.02, r090,c010}

v0947_m

F 14.00

F 01.02

sum({F 14.00, r240, (c010-030)}) = {F 01.02, r100,c010}

v0948_m

F 14.00

F 01.02

sum({F 14.00, r250, (c010-030)}) = {F 01.02, r150,c010}

v0949_m

F 20.01

(010-020)

{r010} = sum(r020-040)

v0950_m

F 20.01

(010-020)

{r050} = sum(r060-090)

v0951_m

F 20.01

(010-020)

{r100} = sum(r110-130)

v0952_m

F 20.01

(010-020)

{r140} = sum(r150-170)

v0953_m

F 20.01

(010-020)

{r320} = {r010} + {r050} + {r091} + {r100} + {r140} + {r171} + {r175} + {r180} + {r210} + {r231} + {r234} + {r240} + {r250} + {r260} + {r270} + {r280} + {r290} + {r300} + {r310}

v0954_m

F 20.02

(010-020)

{r010} = {r020} + {r030} + {r040} + {r050} + {r060}

v0955_m

F 20.02

(010-020)

{r070} = {r080} + {r090} + {r100}

v0956_m

F 20.02

(010-020)

{r110} = {r120} + {r130} + {r140}

v0957_m

F 20.02

(010-020)

{r220} = {r010} + {r061} + {r070} + {r110} + {r141} + {r150} + {r160} + {r170} + {r180} + {r190} + {r200} + {r210}

v0958_m

F 20.02

F 01.02

{F 20.02, r010,c010} + {F 20.02, r010,c020} = {F 01.02, r010,c010}

v0959_m

F 20.02

F 01.02

{F 20.02, r020,c010} + {F 20.02, r020,c020} = {F 01.02, r020,c010}

v0960_m

F 20.02

F 01.02

{F 20.02, r030,c010} + {F 20.02, r030,c020} = {F 01.02, r030,c010}

v0961_m

F 20.02

F 01.02

{F 20.02, r040,c010} + {F 20.02, r040,c020} = {F 01.02, r040,c010}

v0962_m

F 20.02

F 01.02

{F 20.02, r050,c010} + {F 20.02, r050,c020} = {F 01.02, r050,c010}

v0963_m

F 20.02

F 01.02

{F 20.02, r060,c010} + {F 20.02, r060,c020} = {F 01.02, r060,c010}

v0964_m

F 20.02

F 01.02

{F 20.02, r070,c010} + {F 20.02, r070,c020} = {F 01.02, r070,c010}

v0965_m

F 20.02

F 01.02

{F 20.02, r080,c010} + {F 20.02, r080,c020} = {F 01.02, r080,c010}

v0966_m

F 20.02

F 01.02

{F 20.02, r090,c010} + {F 20.02, r090,c020} = {F 01.02, r090,c010}

v0967_m

F 20.02

F 01.02

{F 20.02, r100,c010} + {F 20.02, r100,c020} = {F 01.02, r100,c010}

v0968_m

F 20.02

F 01.02

{F 20.02, r110,c010} + {F 20.02, r110,c020} = {F 01.02, r110,c010}

v0969_m

F 20.02

F 01.02

{F 20.02, r120,c010} + {F 20.02, r120,c020} = {F 01.02, r120,c010}

v0970_m

F 20.02

F 01.02

{F 20.02, r130,c010} + {F 20.02, r130,c020} = {F 01.02, r130,c010}

v0971_m

F 20.02

F 01.02

{F 20.02, r140,c010} + {F 20.02, r140,c020} = {F 01.02, r140,c010}

v0972_m

F 20.02

F 01.02

{F 20.02, r150,c010} + {F 20.02, r150,c020} = {F 01.02, r150,c010}

v0973_m

F 20.02

F 01.02

{F 20.02, r160,c010} + {F 20.02, r160,c020} = {F 01.02, r160,c010}

v0974_m

F 20.02

F 01.02

{F 20.02, r170,c010} + {F 20.02, r170,c020} = {F 01.02, r170,c010}

v0975_m

F 20.02

F 01.02

{F 20.02, r180,c010} + {F 20.02, r180,c020} = {F 01.02, r240,c010}

v0976_m

F 20.02

F 01.02

{F 20.02, r190,c010} + {F 20.02, r190,c020} = {F 01.02, r270,c010}

v0977_m

F 20.02

F 01.02

{F 20.02, r200,c010} + {F 20.02, r200,c020} = {F 01.02, r280,c010}

v0978_m

F 20.02

F 01.02

{F 20.02, r210,c010} + {F 20.02, r210,c020} = {F 01.02, r290,c010}

v0979_m

F 20.02

F 01.02

{F 20.02, r220,c010} + {F 20.02, r220,c020} = {F 01.02, r300,c010}

v0980_m

F 20.03

(010-020)

{r250} = {r010} - {r020} - {r030} + {r040} + {r050} - {r060} + {r070} + {r080} + {r085} + {r090} + {r095} + {r100} + {r110} + {r120} + {r130} + {r140} - {r150} - {r160} - {r170} - {r175} - {r180} - {r190} - {r200} - {r210} + {r220} + {r230} + {r240}

v0983_m

F 20.04

(080-240)

(All)

{c010} >= {c020}

v0985_m

F 20.04

(010)

(All)

{r010} >= sum(r020-030)

v0986_m

F 20.04

(010)

(All)

{r040} >= sum(r050-070)

v0987_m

F 20.04

(010-030)

(All)

{r080} = sum(r090-130)

v0988_m

F 20.04

(010-030)

(All)

{r140} = {r150} + {r160} + {r170} + {r180} + {r190} + {r220}

v0989_m

F 20.04

(010-020)

(All)

{r190} >= {r200}

v0990_m

F 20.04

(010-020)

(All)

{r220} >= {r230}

v0991_m

F 20.05.a

(010-030)

(All)

{c010} >= {c020}

v0992_m

F 20.05.a

F 20.05.b

(010-030)

(All)

{F 20.05.a, c010} >= {F 20.05.b, c030}

v0993_m

F 20.06

(010)

(All)

{r010} >= sum(r020-030)

v0994_m

F 20.06

(010)

(All)

{r040} >= sum(r050-060)

v0995_m

F 20.06

(010)

(All)

{r070} = sum(r080-130)

v0996_m

F 30.01

(010)

{c020} <= {c010}

v0997_m

F 30.01

(010)

{c060} <= {c050}

v0998_m

F 30.01

(010)

if {c020} != 0 then {c030} != 0

v0999_m

F 30.02

(010-030)

{r010} = sum(r030-060)

v1000_m

F 30.02

(010-030)

{r020} <= {r010}

v1001_m

F 30.02

(010-030)

{r070} = sum(r080-110)

v1002_m

F 30.02

(010-030)

{r130} <= {r120}

v1003_m

F 30.02

F 01.01

sum({F 30.02, r030, (c010-030)}) <= sum({F 01.01, c010, (r060, r092, r240)})

v1004_m

F 30.02

F 01.01

sum({F 30.02, r040, (c010-030)}) <= sum({F 01.01, c010, (r070, r093, r110, r150, r172, r176, r235)})

v1005_m

F 30.02

F 01.01

sum({F 30.02, r050, (c010-030)}) <= sum({F 01.01, c010, (r080, r094, r120, r160, r173, r177, r190, r220, r232, r236)})

v1006_m

F 30.02

F 01.01

sum({F 30.02, r060, (c010-030)}) <= sum({F 01.01, c010, (r090, r095, r130, r170, r174, r178, r200, r230, r233, r237)})

v1007_m

F 30.02

F 01.02

sum({F 30.02, r090, (c010-030)}) <= sum({F 01.02, c010, (r020, r062, r150)})

v1008_m

F 30.02

F 01.02

sum({F 30.02, r100, (c010-030)}) <= sum({F 01.02, c010, (r040, r064, r080, r120, r142)})

v1009_m

F 30.02

F 01.02

sum({F 30.02, r110, (c010-030)}) <= sum({F 01.02, c010, (r050, r065, r090, r130, r143)})

v1010_m

F 30.02

F 01.03

sum({F 30.02, r080, (c010-030)}) <= sum({F 01.03, c010, (r010, r040, r050)})

v1014_m

F 30.02

F 08.01.a

sum({F 30.02, r100, (c010-030)}) <= xsum({F 08.01.a, (r210, r260, c010-030)})

v1015_m

F 30.02

F 09.01

sum({F 30.02, r120, (c010-030)}) <= sum({F 09.01, c010, (r060-070, r140-150, r220-230)})

v1016_m

F 30.02

F 09.01

sum({F 30.02, r130, (c010-030)}) <= sum({F 09.01, c010, (r020, r100, r180)})

v1017_m

F 30.02

F 30.01

sum({F 30.02, r010, (c010-030)}) <= {F 30.01, r010,c010}

v1018_m

F 30.02

F 30.01

sum({F 30.02, r120, (c010-030)}) = {F 30.01, r010,c050}

v1019_m

F 30.02

F 30.01

xsum({F 30.02, (r050-060, c010-030)}) = {F 30.01, r010,c020}

v1020_m

F 30.02

F 30.01

xsum({F 30.02, (r090-110, c010-030)}) <= {F 30.01, r010,c040}

v1021_m

F 31.01

(010-050)

{r010} = sum(r020-040)

v1022_m

F 31.01

(010-050)

{r050} <= {r010}

v1024_m

F 31.01

(010-050)

{r100} <= {r090}

v1025_m

F 31.01

(010-050)

if sum(r050, r100) > 0 then {r130} > 0

v1026_m

F 31.01

F 01.01

sum({F 31.01, r020, (c010-050)}) <= sum({F 01.01, c010, (r070, r093, r110, r150, r172, r176, r235)})

v1027_m

F 31.01

F 01.02

sum({F 31.01, r080, (c010-050)}) <= sum({F 01.02, c010, (r050, r065, r090, r130, r143)})

v1028_m

F 31.01

F 01.01

sum({F 31.01, r030, (c010-050)}) <= sum({F 01.01, c010, (r080, r094, r120, r160, r173, r177, r190, r220, r232, r236)})

v1029_m

F 31.01

F 01.01

sum({F 31.01, r040, (c010-050)}) <= sum({F 01.01, c010, (r090, r095, r130, r170, r174, r178, r200, r230, r233, r237)})

v1030_m

F 31.01

F 07.00

sum({F 31.01, r050, (c010-050)}) <= sum({F 07.00, c070, (r010, r090-110, r150-180)})

v1031_m

F 31.01

F 07.00

F 43.00

sum({F 31.01, r130, (c010-050)}) <= xsum(ABS({F 07.00,(r090-110, r150-180, c080-104)})) + {F 43.00, r070,c050}

v1032_m

F 31.01

F 08.01.a

sum({F 31.01, r070, (c010-050)}) <= sum({F 08.01.a, r050, (c010-035)}) - sum({F 08.01.a, r060, (c010-035)}) - sum({F 08.01.a, r110, (c010-035)})

v1033_m

F 31.01

F 08.01.a

sum({F 31.01, r080, (c010-050)}) <= sum({F 08.01.a, r360, (c010-035)})

v1034_m

F 31.01

F 09.01

sum({F 31.01, r090, (c010-050)}) <= sum({F 09.01, c010, (r050-080, r130-160, r210-240)})

v1035_m

F 31.01

F 09.01

sum({F 31.01, r100, (c010-050)}) <= sum({F 09.01, c010, (r020, r100, r180)})

v1036_m

F 31.01

F 09.02

sum({F 31.01, r110, (c010-050)}) <= sum({F 09.02, c020, (r040-070)}) + sum({F 09.02, c010, (r110-140)}) + sum({F 09.02, c020, (r180-210)})

v1037_m

F 31.01

F 10.00

F 11.01

F 11.02

sum({F 31.01, r120, (c010-050)}) <= {F 10.00, r290,c030} - sum({F 10.00, c030, (r050-060, r110-120, r170-180)}) + {F 11.01, r500,c030} - sum({F 11.01, c030, (r040-050, r090-100, r140-150, r270-280, r320-330, r370-380)}) + {F 11.02, r230,c010} - sum({F 11.02, c010, (r040-050, r090-100, r140-150)})

v1038_m

F 16.01.a

(010)

{r020} = sum(r030-070)

v1039_m

F 16.01.a

(010)

{r080} = sum(r090-140)

v1040_m

F 16.01.a

(020)

{r160} = sum(r170-220)

v1041_m

F 16.01.a

F 16.01.b

(010)

{F 16.01.b, r270} = {F 16.01.a, r010} + {F 16.01.a, r020} + {F 16.01.a, r080} + {F 16.01.a, r150} + {F 16.01.a, r250}

v1042_m

F 16.01.a

F 16.01.b

(020)

{F 16.01.b, r270} = {F 16.01.a, r010} + {F 16.01.a, r160} + {F 16.01.a, r230} + {F 16.01.a, r240} + {F 16.01.a, r250} + {F 16.01.a, r260}

v1043_m

F 16.02

(010)

{r070} = sum(r010-060)

v1044_m

F 16.03

(010)

{r090} = sum(r010-080)

v1045_m

F 16.04

(010)

{r070} = sum(r010-060)

v1046_m

F 16.05

(010)

{r070} = sum(r010-060)

v1047_m

F 22.01

(010)

{r010} = sum(r020, r060, r070, r080, r110, r120, r130, r140, r180, r190, r200, r210, r220)

v1048_m

F 22.01

(010)

{r230} = sum(r240-290)

v1049_m

F 03.00

(010)

{r020} = sum(r040-090) + sum(r110, r150, r190, r240, r280, r320, r330)

v1050_m

F 03.00

(010)

{r110} = sum(r120-140)

v1051_m

F 03.00

(010)

{r150} = sum(r160-180)

v1052_m

F 03.00

(010)

{r190} = sum(r200-230)

v1053_m

F 03.00

(010)

{r240} = sum(r250-270)

v1054_m

F 03.00

(010)

{r280} = sum(r290-310)

v1055_m

F 03.00

(010)

{r340} = sum(r010, r020)

v1056_m

F 03.00

(010)

{r340} = sum(r350-360)

v1058_m

F 46.00

(060-080)

{r210} = {r040} + {r050} + {r060} + {r070} + {r080} + {r090} + {r100} + {r110} + {r120} + {r130} + {r160} + {r170} + {r190} + {r200}

v1059_m

F 46.00

(010-020)

{r210} = {r040} + {r050} + {r060} + {r090} + {r100} + {r110} + {r140} + {r150} + {r170} + {r180}

v1060_m

F 46.00

(040)

{r210} = {r040} + {r090} + {r110} + {r140} + {r150} + {r160} + {r170} + {r180} + {r190}

v1061_m

F 46.00

(090)

{r210} = {r040} + {r100} + {r110} + {r120} + {r130} + {r170} + {r180} + {r190}

v1062_m

F 46.00

(110)

{r210} = {r040} + {r110} + {r160} + {r190}

v1063_m

F 46.00

(120)

{r210} = {r040} + {r120} + {r130} + {r160} + {r190} + {r200}

v1064_m

F 46.00

(050)

{r210} = {r040} + {r160} + {r170} + {r190} + {r200}

v1065_m

F 46.00

(100)

{r210} = {r040} + {r100} + {r160} + {r190} + {r200}

v1066_m

F 46.00

(030)

{r210} = {r040} + {r060} + {r070} + {r080} + {r090} + {r110} + {r140} + {r150} + {r160} + {r170} + {r190}

v1067_m

F 46.00

(130-140)

{r210} = sum(r040-200)

v1068_m

F 13.01

(010-050)

sum(r020-040) <= {r010}

v1069_m

F 13.01

F 01.01

sum({F 13.01, r010, (c010-050)}) <= sum({F 01.01, c010, (r090, r130, r170, r200, r230)})

v1070_m

F 13.01

F 04.01

F 04.02

F 04.03

F 04.04

sum({F 13.01, r020, (c010-050)}) <= {F 04.01, r160,c010} + {F 04.02, r160,c010} + {F 04.03, r160,c030} + {F 04.04, r110,c060} + {F 04.04, r250,c060}

v1071_m

F 13.01

F 04.01

F 04.02

F 04.03

F 04.04

sum({F 13.01, r030, (c010-050)}) <= {F 04.01, r170,c010} + {F 04.02, r170,c010} + {F 04.03, r170,c030} + {F 04.04, r120,c060} + {F 04.04, r260,c060}

v1072_m

F 13.01

F 04.01

F 04.02

F 04.03

F 04.04

sum({F 13.01, r040, (c010-050)}) <= {F 04.01, r180,c010} + {F 04.02, r180,c010} + {F 04.03, r180,c030} + {F 04.04, r130,c060} + {F 04.04, r270,c060}

v1073_m

F 13.01

F 09.02

{F 13.01, r010,c050} <= {F 09.02, r080,c010}

v1074_m

F 13.01

F 05.00

sum({F 13.01, r010, (c010-020)}) = sum({F 05.00, r090, (c020-060)})

v1075_m

F 13.01

F 05.00

sum({F 13.01, r010, (c010-050)}) <= sum({F 05.00, r080, (c010-060)})

v1076_m

F 13.01

F 05.00

sum({F 13.01, r010, (c030-040)}) = sum({F 05.00, r100, (c020-060)})

v1077_m

F 13.01

F 05.00

sum({F 13.01, r020, (c010-020)}) = {F 05.00, r090,c040}

v1078_m

F 13.01

F 05.00

sum({F 13.01, r020, (c010-050)}) <= {F 05.00, r080,c040}

v1079_m

F 13.01

F 05.00

sum({F 13.01, r020, (c030-040)}) = {F 05.00, r100,c040}

v1080_m

F 13.01

F 05.00

sum({F 13.01, r030, (c010-020)}) = {F 05.00, r090,c050}

v1081_m

F 13.01

F 05.00

sum({F 13.01, r030, (c010-050)}) <= {F 05.00, r080,c050}

v1082_m

F 13.01

F 05.00

sum({F 13.01, r030, (c030-040)}) = {F 05.00, r100,c050}

v1083_m

F 13.01

F 05.00

sum({F 13.01, r040, (c010-020)}) = {F 05.00, r090,c060}

v1084_m

F 13.01

F 05.00

sum({F 13.01, r040, (c010-050)}) <= {F 05.00, r080,c060}

v1085_m

F 13.01

F 05.00

sum({F 13.01, r040, (c030-040)}) = {F 05.00, r100,c060}

v1086_m

F 04.05

F 01.01

{F 04.05, r030,c010} <= sum({F 01.01, c010, (r080-090, r120-130, r160-170, r180, r210)})

v1087_m

F 13.02

(010)

{r060} = sum(r010-050)

v1088_m

F 13.02

F 01.01

{F 13.02, r020,c010} <= {F 01.01, r280,c010}

v1090_m

F 13.03

F 01.01

{F 13.03, r010,c010} <= sum({F 01.01, c010, (r270, r370)})

v1093_m

F 13.02

F 13.03

{F 13.02, r030,c010} <= {F 13.03, r010,c010}

v1094_m

F 41.01

(010-100)

{c010} = sum(c020-040)

v1095_m

F 41.01

(010-040)

{r070} = sum(r080-100)

v1096_m

F 41.02

(010-020)

{r010} = sum(r020-040)

v1097_m

F 41.02

(030)

{r010} = sum(r030-040)

v1098_m

F 41.02

(010-030)

{r050} = sum(r060-080)

v1099_m

F 42.00

(010)

{r070} = sum(r080-090)

v1100_m

F 42.00

F 01.01

{F 42.00, r010,c010} = {F 01.01, r280,c010}

v1101_m

F 42.00

F 01.01

{F 42.00, r040,c010} = {F 01.01, r290,c010}

v1102_m

F 42.00

F 01.01

{F 42.00, r070,c010} = {F 01.01, r320,c010}

v1103_m

F 21.00

(010)

{r070} = sum(r080-090)

v1104_m

F 21.00

F 01.01

{F 21.00, r010,c010} <= {F 01.01, r280,c010}

v1105_m

F 21.00

F 01.01

{F 21.00, r040,c010} <= {F 01.01, r290,c010}

v1106_m

F 21.00

F 01.01

{F 21.00, r070,c010} <= {F 01.01, r320,c010}

v1107_m

F 21.00

F 42.00

{F 21.00, r010,c010} <= {F 42.00, r010,c010}

v1108_m

F 21.00

F 42.00

{F 21.00, r020,c010} <= {F 42.00, r020,c010}

v1109_m

F 21.00

F 42.00

{F 21.00, r030,c010} <= {F 42.00, r030,c010}

v1110_m

F 21.00

F 42.00

{F 21.00, r040,c010} <= {F 42.00, r040,c010}

v1111_m

F 21.00

F 42.00

{F 21.00, r050,c010} <= {F 42.00, r050,c010}

v1112_m

F 21.00

F 42.00

{F 21.00, r060,c010} <= {F 42.00, r060,c010}

v1113_m

F 21.00

F 42.00

{F 21.00, r070,c010} <= {F 42.00, r070,c010}

v1114_m

F 21.00

F 42.00

{F 21.00, r080,c010} <= {F 42.00, r080,c010}

v1115_m

F 21.00

F 42.00

{F 21.00, r090,c010} <= {F 42.00, r090,c010}

v1116_m

F 43.00

(010-070)

{r070} = {r010} + {r020} + {r030} + {r040} + {r050} + {r060}

v1117_m

F 44.01

(010)

{r010} = sum(r030-060)

v1118_m

F 44.01

(010)

{r020} <= {r010}

v1119_m

F 44.01

F 01.02

{F 44.01, r100,c010} = {F 01.02, r180,c010}

v1120_m

F 44.01

F 43.00

{F 44.01, r100,c010} = {F 43.00, r070,c010}

v1121_m

F 44.02

(010)

{r120} = sum(r010-110)

v1122_m

F 44.02

F 44.01

{F 44.02, r120,c010} = {F 44.01, r070,c010}

v1123_m

F 44.03

F 02.00

sum({F 44.03, c010, (r010-020)}) <= {F 02.00, r370,c010}

v1124_m

F 17.01

(010)

{r010} = sum(r020-040)

v1125_m

F 17.01

(010)

{r050} = sum(r060-090)

v1126_m

F 17.01

(010)

{r100} = sum(r110-130)

v1127_m

F 17.01

(010)

{r140} = sum(r150-170)

v1128_m

F 17.01

(010)

{r370} = {r010} + {r050} + {r091} + {r100} + {r140} + {r171} + {r175} + {r180} + {r210} + {r231} + {r234} + {r240} + {r250} + {r260} + {r270} + {r280} + {r290} + {r320} + {r350} + {r360}

v1129_m

F 17.02

(010)

{r040} = sum(r010-030)

v1130_m

F 17.03

(010)

{r010} = sum(r020-060)

v1131_m

F 17.03

(010)

{r070} = sum(r080-100)

v1132_m

F 17.03

(010)

{r110} = sum(r120-140)

v1133_m

F 17.03

(010)

{r250} = {r010} + {r061} + {r070} + {r110} + {r141} + {r150} + {r160} + {r170} + {r180} + {r190} + {r220} + {r230} + {r240}

v1134_m

F 17.03

(010)

{r380} = sum(r260-370)

v1135_m

F 17.03

(010)

{r390} = {r250} + {r380}

v1137_m

F 45.01

(010)

{r030} = sum(r010-020)

v1138_m

F 45.01

F 02.00

{F 45.01, r030,c010} = {F 02.00, r290,c010}

v1139_m

F 45.02

(010)

{r050} = sum(r020-040)

v1140_m

F 45.03

(010-020)

{r050} = sum(r010-040)

v1141_m

C 16.00.a

if {r020,c070} > 0 then {r030,c010} > 0 or {r030,c020} > 0 or {r030,c030} > 0 or {r040,c010} > 0 or {r040,c020} > 0 or {r040,c030} > 0 or {r050,c010} > 0 or {r050,c020} > 0 or {r050,c030} > 0 or {r060,c010} > 0 or {r060,c020} > 0 or {r060,c030} > 0 or {r070,c010} > 0 or {r070,c020} > 0 or {r070,c030} > 0 or {r080,c010} > 0 or {r080,c020} > 0 or {r080,c030} > 0 or {r090,c010} > 0 or {r090,c020} > 0 or {r090,c030} > 0 or {r100,c010} > 0 or {r100,c020} > 0 or {r100,c030} > 0 or {r110,c010} > 0 or {r110,c020} > 0 or {r110,c030} > 0 or {r120,c010} > 0 or {r120,c020} > 0 or {r120,c030} > 0

v1142_m

C 16.00.b

if {r130,c070} > 0 then {r130,c010} > 0 or {r130,c020} > 0 or {r130,c030} > 0

v1143_m

C 16.00.b

{r130,c090} = {r130,c070} - {r130,c100} - {r130,c110} - {r130,c120}

v1144_m

C 16.00.b

{r130,c090} >= {r130,c070}

v1145_m

C 16.00.a

if {r010,c010} > 0 and {r010,c020} > 0 and {r010,c030} > 0 then {r010,c070} = ({r010,c010} + {r010,c020} + {r010,c030}) * 15% / 3

v1146_m

C 16.00.a

if {r010,c010} > 0 and {r010,c020} > 0 and {r010,c030} <= 0 then {r010,c070} = ({r010,c010} + {r010,c020}) * 15% / 2

v1147_m

C 16.00.a

if {r010,c010} > 0 and {r010,c020} <= 0 and {r010,c030} > 0 then {r010,c070} = ({r010,c010} + {r010,c030}) * 15% / 2

v1148_m

C 16.00.a

if {r010,c010} <= 0 and {r010,c020} > 0 and {r010,c030} > 0 then {r010,c070} = ({r010,c020} + {r010,c030}) * 15% / 2

v1149_m

C 16.00.a

if {r010,c010} > 0 and {r010,c020} <= 0 and {r010,c030} <= 0 then {r010,c070} = {r010,c010} * 15%

v1150_m

C 16.00.a

if {r010,c010} <= 0 and {r010,c020} > 0 and {r010,c030} <= 0 then {r010,c070} = {r010,c020} * 15%

v1151_m

C 16.00.a

if {r010,c010} <= 0 and {r010,c020} <= 0 and {r010,c030} > 0 then {r010,c070} = {r010,c030} * 15%

v1152_m

C 16.00.a

if {r010,c010} <= 0 and {r010,c020} <= 0 and {r010,c030} <= 0 then {r010,c070} = 0

v1153_m

C 16.00.a

{r020,c070} = (max({r030,c010} * 18% + {r040,c010} * 18% + {r050,c010} * 12% + ({r060,c010} + {r110,c010} + {r110,c040} * 0.035) * 15% + ({r070,c010} + {r120,c010} + {r120,c040} * 0.035) * 12% + {r080,c010} * 18% + {r090,c010} * 15% + {r100,c010} * 12%, 0) + max({r030,c020} * 18% + {r040,c020} * 18% + {r050,c020} * 12% + ({r060,c020} + {r110,c020} + {r110,c050} * 0.035) * 15% + ({r070,c020} + {r120,c020} + {r120,c050} * 0.035) * 12% + {r080,c020} * 18% + {r090,c020} * 15% + {r100,c020} * 12%, 0) + max({r030,c030} * 18% + {r040,c030} * 18% + {r050,c030} * 12% + ({r060,c030} + {r110,c030} + {r110,c060} * 0.035) * 15% + ({r070,c030} + {r120,c030} + {r120,c060} * 0.035) * 12% + {r080,c030} * 18% + {r090,c030} * 15% + {r100,c030} * 12%, 0)) / 3

v1154_m

C 16.00.b

abs({r130,c120}) <= ({r130,c090} + {r130,c100}) * 20%

v1155_m

C 17.00.a

(030;130;230;330;430;530;630;730;830;930)

{c080} = max({c010}, {c020}, {c030}, {c040}, {c050}, {c060}, {c070})

v1156_m

C 17.00.a

(010;020;030;040;050;060;070)

{r930} >= max({r030}, {r130}, {r230}, {r330}, {r430}, {r530}, {r630}, {r730}, {r830})

v1157_m

C 17.00.a

(040;140;240;340;440;540;640;740;840;940)

{c080} >= max({c010}, {c020}, {c030}, {c040}, {c050}, {c060}, {c070})

v1159_m

F 20.07

(010;020)

(All)

{r190} = sum(r010-180)

v1160_m

F 06.00

F 20.07

(010-190)

(010)

{F 06.00, c010} = sum({F 20.07, c010, (sNNN)})

v1188_m

F 15.00.a

(010-030;070-080)

{r010} = sum(r020-040)

v1189_m

F 15.00.a

(010-030;070-080)

{r050} = sum(r060-080)

v1190_m

F 15.00.a

(010-030;070-080)

{r090} = sum(r100-120)

v1191_m

F 15.00.a

(110)

{r010} = sum(r030-040)

v1192_m

F 15.00.a

(110)

{r041} = sum(r043-044)

v1193_m

F 15.00.a

(110)

{r050} = sum(r070-080)

v1194_m

F 15.00.a

(110)

{r090} = sum(r110-120)

v1195_m

F 15.00.a

(110)

{r121} = sum(r123-124)

v1196_m

F 15.00.a

(110)

{r125} = sum(r127-128)

v1197_m

F 15.00.a

(110)

{r184} = sum(r186-187)

v1200_m

F 15.00.a

(010-030)

{r041} = sum(r042-044)

v1201_m

F 15.00.a

(010-030)

{r121} = sum(r122-124)

v1202_m

F 15.00.a

(010-030)

{r125} = sum(r126-128)

v1203_m

F 15.00.a

(010-030)

{r184} = sum(r185-187)

v1204_m

F 15.00.a

(010-030;110)

{r190} = {r010} + {r041} + {r050} + {r090} + {r121} + {r125} + {r130} + {r160} + {r181} + {r184}

v1206_m

F 15.00.a

(070-080)

{r190} = {r010} + {r050} + {r090} + {r130} + {r160}

v1207_m

F 15.00.b

(040-060;090)

{r010} = sum(r020-040)

v1208_m

F 15.00.b

(040-060;090)

{r050} = sum(r060-080)

v1209_m

F 15.00.b

(040-060;090)

{r090} = sum(r100-120)

v1211_m

F 15.00.b

(040-060;090)

{r160} = sum(r170-180)

v1212_m

F 15.00.b

(040-060)

{r041} = sum(r042-044)

v1213_m

F 15.00.b

(040-060)

{r121} = sum(r122-124)

v1214_m

F 15.00.b

(040-060)

{r125} = sum(r126-128)

v1215_m

F 15.00.b

(040-060)

{r184} = sum(r185-187)

v1216_m

F 15.00.b

(040-060)

{r190} = {r010} + {r041} + {r050} + {r090} + {r121} + {r125} + {r130} + {r160} + {r181} + {r184}

v1218_m

F 15.00.b

(090)

{r190} = {r010} + {r050} + {r090} + {r130} + {r160}

v1219_m

F 04.01

(010)

{r010} >= sum(r030-050)

v1220_m

F 04.02

(010)

{r010} >= sum(r030-050)

v1221_m

F 04.03

(010-040)

{r010} >= +sum(r030-050)

v1222_m

F 20.04

(010-020)

(All)

{r190} >= {r210}

v1223_m

F 20.04

(010-020)

(All)

{r220} >= {r240}

v1225_m

F 46.00

(010;020;030;040;210)

{c140} = sum(c010-130)

v1226_m

F 46.00

{F 46.00, r010, c010} = {F 46.00, r210, c010} t-1

v1227_m

F 46.00

{F 46.00, r010, c020} = {F 46.00, r210, c020} t-1

v1228_m

F 46.00

{F 46.00, r010, c030} = {F 46.00, r210, c030} t-1

v1229_m

F 46.00

{F 46.00, r010, c040} = {F 46.00, r210, c040} t-1

v1230_m

F 46.00

{F 46.00, r010, c050} = {F 46.00, r210, c050} t-1

v1231_m

F 46.00

{F 46.00, r010, c060} = {F 46.00, r210, c060} t-1

v1232_m

F 46.00

{F 46.00, r010, c070} = {F 46.00, r210, c070} t-1

v1233_m

F 46.00

{F 46.00, r010, c080} = {F 46.00, r210, c080} t-1

v1234_m

F 46.00

{F 46.00, r010, c090} = {F 46.00, r210, c090} t-1

v1235_m

F 46.00

{F 46.00, r010, c100} = {F 46.00, r210, c100} t-1

v1236_m

F 46.00

{F 46.00, r010, c110} = {F 46.00, r210, c110} t-1

v1237_m

F 46.00

{F 46.00, r010, c120} = {F 46.00, r210, c120} t-1

v1238_m

F 46.00

{F 46.00, r010, c130} = {F 46.00, r210, c130} t-1

v1239_m

F 46.00

{F 46.00, r010, c140} = {F 46.00, r210, c140} t-1

v1241_m

F 40.01

(All)

{c110} <= 1

v1242_m

F 40.01

(All)

{c120} <= 1

v1243_m

F 40.02

(All)

{c060} <= 1

v1244_m

F 01.02

F 43.00

{F 01.02, r170, c010} t-1= {F 43.00, r010, c070}

v1245_m

F 01.02

F 43.00

{F 01.02, r180, c010} t-1 = {F 43.00, r010, c010}

v1246_m

F 01.02

F 43.00

{F 01.02, r190, c010} t-1= {F 43.00, r010, c020}

v1247_m

F 01.02

F 43.00

{F 01.02, r200, c010} t-1= {F 43.00, r010, c030}

v1248_m

F 01.02

F 43.00

{F 01.02, r210, c010} t-1= {F 43.00, r010, c040}

v1249_m

F 01.02

F 43.00

{F 01.02, r220, c010} t-1= {F 43.00, r010, c050}

v1250_m

F 01.02

F 43.00

{F 01.02, r230, c010} t-1 = {F 43.00, r010, c060}

v1251_m

F 01.01

F 05.00

{F 01.01, r040,c010} = {F 05.00, r010,c030}

v1252_m

F 01.01

F 20.01

sum({F 20.01, r010, (c010-020)}) = {F 01.01, r010,c010}

v1253_m

F 01.01

F 20.01

sum({F 20.01, r020, (c010-020)}) = {F 01.01, r020,c010}

v1254_m

F 01.01

F 20.01

sum({F 20.01, r030, (c010-020)}) = {F 01.01, r030,c010}

v1255_m

F 01.01

F 20.01

sum({F 20.01, r040, (c010-020)}) = {F 01.01, r040,c010}

v1256_m

F 01.01

F 20.01

sum({F 20.01, r050, (c010-020)}) = {F 01.01, r050,c010}

v1257_m

F 01.01

F 20.01

sum({F 20.01, r060, (c010-020)}) = {F 01.01, r060,c010}

v1258_m

F 01.01

F 20.01

sum({F 20.01, r070, (c010-020)}) = {F 01.01, r070,c010}

v1259_m

F 01.01

F 20.01

sum({F 20.01, r080, (c010-020)}) = {F 01.01, r080,c010}

v1260_m

F 01.01

F 20.01

sum({F 20.01, r090, (c010-020)}) = {F 01.01, r090,c010}

v1261_m

F 01.01

F 20.01

sum({F 20.01, r091, (c010-020)}) = {F 01.01, r091,c010}

v1262_m

F 01.01

F 20.01

sum({F 20.01, r092, (c010-020)}) = {F 01.01, r092,c010}

v1263_m

F 01.01

F 20.01

sum({F 20.01, r093, (c010-020)}) = {F 01.01, r093,c010}

v1264_m

F 01.01

F 20.01

sum({F 20.01, r094, (c010-020)}) = {F 01.01, r094,c010}

v1265_m

F 01.01

F 20.01

sum({F 20.01, r095, (c010-020)}) = {F 01.01, r095,c010}

v1266_m

F 01.01

F 20.01

sum({F 20.01, r100, (c010-020)}) = {F 01.01, r100,c010}

v1267_m

F 01.01

F 20.01

sum({F 20.01, r110, (c010-020)}) = {F 01.01, r110,c010}

v1268_m

F 01.01

F 20.01

sum({F 20.01, r120, (c010-020)}) = {F 01.01, r120,c010}

v1269_m

F 01.01

F 20.01

sum({F 20.01, r130, (c010-020)}) = {F 01.01, r130,c010}

v1270_m

F 01.01

F 20.01

sum({F 20.01, r140, (c010-020)}) = {F 01.01, r140,c010}

v1271_m

F 01.01

F 20.01

sum({F 20.01, r150, (c010-020)}) = {F 01.01, r150,c010}

v1272_m

F 01.01

F 20.01

sum({F 20.01, r160, (c010-020)}) = {F 01.01, r160,c010}

v1273_m

F 01.01

F 20.01

sum({F 20.01, r170, (c010-020)}) = {F 01.01, r170,c010}

v1274_m

F 01.01

F 20.01

sum({F 20.01, r171, (c010-020)}) = {F 01.01, r171,c010}

v1275_m

F 01.01

F 20.01

sum({F 20.01, r172, (c010-020)}) = {F 01.01, r172,c010}

v1276_m

F 01.01

F 20.01

sum({F 20.01, r173, (c010-020)}) = {F 01.01, r173,c010}

v1277_m

F 01.01

F 20.01

sum({F 20.01, r174, (c010-020)}) = {F 01.01, r174,c010}

v1278_m

F 01.01

F 20.01

sum({F 20.01, r175, (c010-020)}) = {F 01.01, r175,c010}

v1279_m

F 01.01

F 20.01

sum({F 20.01, r176, (c010-020)}) = {F 01.01, r176,c010}

v1280_m

F 01.01

F 20.01

sum({F 20.01, r177, (c010-020)}) = {F 01.01, r177,c010}

v1281_m

F 01.01

F 20.01

sum({F 20.01, r178, (c010-020)}) = {F 01.01, r178,c010}

v1282_m

F 01.01

F 20.01

sum({F 20.01, r180, (c010-020)}) = {F 01.01, r180,c010}

v1283_m

F 01.01

F 20.01

sum({F 20.01, r190, (c010-020)}) = {F 01.01, r190,c010}

v1284_m

F 01.01

F 20.01

sum({F 20.01, r200, (c010-020)}) = {F 01.01, r200,c010}

v1285_m

F 01.01

F 20.01

sum({F 20.01, r210, (c010-020)}) = {F 01.01, r210,c010}

v1286_m

F 01.01

F 20.01

sum({F 20.01, r220, (c010-020)}) = {F 01.01, r220,c010}

v1287_m

F 01.01

F 20.01

sum({F 20.01, r230, (c010-020)}) = {F 01.01, r230,c010}

v1288_m

F 01.01

F 20.01

sum({F 20.01, r231, (c010-020)}) = {F 01.01, r231,c010}

v1289_m

F 01.01

F 20.01

sum({F 20.01, r232, (c010-020)}) = {F 01.01, r232,c010}

v1290_m

F 01.01

F 20.01

sum({F 20.01, r233, (c010-020)}) = {F 01.01, r233,c010}

v1291_m

F 01.01

F 20.01

sum({F 20.01, r234, (c010-020)}) = {F 01.01, r234,c010}

v1292_m

F 01.01

F 20.01

sum({F 20.01, r235, (c010-020)}) = {F 01.01, r235,c010}

v1293_m

F 01.01

F 20.01

sum({F 20.01, r236, (c010-020)}) = {F 01.01, r236,c010}

v1294_m

F 01.01

F 20.01

sum({F 20.01, r237, (c010-020)}) = {F 01.01, r237,c010}

v1295_m

F 01.01

F 20.01

sum({F 20.01, r240, (c010-020)}) = {F 01.01, r240,c010}

v1296_m

F 01.01

F 20.01

sum({F 20.01, r250, (c010-020)}) = {F 01.01, r250,c010}

v1297_m

F 01.01

F 20.01

sum({F 20.01, r260, (c010-020)}) = {F 01.01, r260,c010}

v1298_m

F 01.01

F 20.01

sum({F 20.01, r270, (c010-020)}) = {F 01.01, r270,c010}

v1299_m

F 01.01

F 20.01

sum({F 20.01, r280, (c010-020)}) = {F 01.01, r300,c010}

v1300_m

F 01.01

F 20.01

sum({F 20.01, r290, (c010-020)}) = {F 01.01, r330,c010}

v1301_m

F 01.01

F 20.01

sum({F 20.01, r300, (c010-020)}) = {F 01.01, r360,c010}

v1302_m

F 01.01

F 20.01

sum({F 20.01, r310, (c010-020)}) = {F 01.01, r370,c010}

v1303_m

F 01.01

F 20.01

sum({F 20.01, r320, (c010-020)}) = {F 01.01, r380,c010}

v1304_m

F 01.02

F 08.02

{F 08.02, r010,c010} <= {F 01.02, r080,c010}

v1305_m

F 01.02

F 08.02

{F 08.02, r020,c010} <= {F 01.02, r090,c010}

v1306_m

F 01.02

F 08.02

{F 08.02, r030,c010} <= {F 01.02, r070,c010}

v1307_m

F 01.02

F 08.02

{F 08.02, r010,c020} <= {F 01.02, r120,c010}

v1308_m

F 01.02

F 08.02

{F 08.02, r020,c020} <= {F 01.02, r130,c010}

v1309_m

F 01.02

F 08.02

{F 08.02, r030,c020} <= {F 01.02, r110,c010}

v1310_m

F 01.02

F 08.02

{F 08.02, r010,c030} <= {F 01.02, r142,c010}

v1311_m

F 01.02

F 08.02

{F 08.02, r020,c030} <= {F 01.02, r143,c010}

v1312_m

F 01.02

F 08.02

{F 08.02, r030,c030} <= {F 01.02, r141,c010}

v1313_m

F 01.03

F 46.00

{F 46.00, r010, c010} = {F 01.03, r010, c010} t-1

v1314_m

F 01.03

F 46.00

{F 46.00, r010, c020} = {F 01.03, r040, c010} t-1

v1315_m

F 01.03

F 46.00

{F 46.00, r010, c030} = {F 01.03, r050, c010} t-1

v1316_m

F 01.03

F 46.00

{F 46.00, r010, c040} = {F 01.03, r080, c010} t-1

v1317_m

F 01.03

F 46.00

{F 46.00, r010, c050} = {F 01.03, r090, c010} t-1

v1318_m

F 01.03

F 46.00

{F 46.00, r010, c060} = {F 01.03, r190, c010} t-1

v1319_m

F 01.03

F 46.00

{F 46.00, r010, c070} = {F 01.03, r200, c010} t-1

v1320_m

F 01.03

F 46.00

{F 46.00, r010, c075} = {F 01.03, r205, c010} t-1

v1321_m

F 01.03

F 46.00

{F 46.00, r010, c080} = {F 01.03, r210, c010} t-1

v1322_m

F 01.03

F 46.00

{F 46.00, r010, c085} = {F 01.03, r235, c010} t-1

v1323_m

F 01.03

F 46.00

{F 46.00, r010, c090} = {F 01.03, r240, c010} t-1

v1324_m

F 01.03

F 46.00

{F 46.00, r010, c100} = {F 01.03, r250, c010} t-1

v1325_m

F 01.03

F 46.00

{F 46.00, r010, c110} = {F 01.03, r260, c010} t-1

v1326_m

F 01.03

F 46.00

{F 46.00, r010, c120} = {F 01.03, r280, c010} t-1

v1327_m

F 01.03

F 46.00

{F 46.00, r010, c130} = {F 01.03, r290, c010} t-1

v1328_m

F 01.03

F 46.00

{F 46.00, r010, c140} = {F 01.03, r300, c010} t-1

v1329_m

F 02.00

F 16.07.a

{F 16.07.a, r020,c010} = {F 02.00, r470,c010}

v1330_m

F 02.00

F 16.07.a

sum({F 16.07.a, r030, (c010-020)}) = {F 02.00, r480,c010}

v1331_m

F 02.00

F 16.07.a

sum({F 16.07.a, r040, (c010-020)}) = {F 02.00, r490,c010}

v1332_m

F 02.00

F 16.07.a

sum({F 16.07.a, r050, (c010-020)}) = {F 02.00, r500,c010}

v1333_m

F 02.00

F 16.07.a

sum({F 16.07.a, r110, (c010-020)}) = {F 02.00, r530,c010}

v1334_m

F 02.00

F 16.07.a

sum({F 16.07.a, r120, (c010-020)}) = {F 02.00, r540,c010}

v1335_m

F 02.00

F 16.07.a

{F 16.07.a, r130,c010} = {F 02.00, r550,c010}

v1336_m

F 02.00

F 16.07.a

sum({F 16.07.a, r140, (c010-020)}) = {F 02.00, r560,c010}

v1337_m

F 02.00

F 20.03

sum({F 20.03, r010, (c010-020)}) = {F 02.00, r010,c010}

v1338_m

F 02.00

F 20.03

sum({F 20.03, r020, (c010-020)}) = {F 02.00, r090,c010}

v1339_m

F 02.00

F 20.03

sum({F 20.03, r030, (c010-020)}) = {F 02.00, r150,c010}

v1340_m

F 02.00

F 20.03

sum({F 20.03, r040, (c010-020)}) = {F 02.00, r160,c010}

v1341_m

F 02.00

F 20.03

sum({F 20.03, r050, (c010-020)}) = {F 02.00, r200,c010}

v1342_m

F 02.00

F 20.03

sum({F 20.03, r060, (c010-020)}) = {F 02.00, r210,c010}

v1343_m

F 02.00

F 20.03

sum({F 20.03, r070, (c010-020)}) = {F 02.00, r220,c010}

v1344_m

F 02.00

F 20.03

sum({F 20.03, r080, (c010-020)}) = {F 02.00, r280,c010}

v1345_m

F 02.00

F 20.03

sum({F 20.03, r085, (c010-020)}) = {F 02.00, r285,c010}

v1346_m

F 02.00

F 20.03

sum({F 20.03, r090, (c010-020)}) = {F 02.00, r290,c010}

v1347_m

F 02.00

F 20.03

sum({F 20.03, r095, (c010-020)}) = {F 02.00, r295,c010}

v1348_m

F 02.00

F 20.03

sum({F 20.03, r100, (c010-020)}) = {F 02.00, r300,c010}

v1349_m

F 02.00

F 20.03

sum({F 20.03, r110, (c010-020)}) = {F 02.00, r310,c010}

v1350_m

F 02.00

F 20.03

sum({F 20.03, r120, (c010-020)}) = {F 02.00, r320,c010}

v1351_m

F 02.00

F 20.03

sum({F 20.03, r130, (c010-020)}) = {F 02.00, r330,c010}

v1352_m

F 02.00

F 20.03

sum({F 20.03, r140, (c010-020)}) = {F 02.00, r340,c010}

v1353_m

F 02.00

F 20.03

sum({F 20.03, r150, (c010-020)}) = {F 02.00, r350,c010}

v1354_m

F 02.00

F 20.03

sum({F 20.03, r155, (c010-020)}) = {F 02.00, r355,c010}

v1355_m

F 02.00

F 20.03

sum({F 20.03, r160, (c010-020)}) = {F 02.00, r360,c010}

v1356_m

F 02.00

F 20.03

sum({F 20.03, r170, (c010-020)}) = {F 02.00, r390,c010}

v1357_m

F 02.00

F 20.03

sum({F 20.03, r175, (c010-020)}) = {F 02.00, r455,c010}

v1358_m

F 02.00

F 20.03

sum({F 20.03, r180, (c010-020)}) = {F 02.00, r430,c010}

v1359_m

F 02.00

F 20.03

sum({F 20.03, r190, (c010-020)}) = {F 02.00, r460,c010}

v1360_m

F 02.00

F 20.03

sum({F 20.03, r200, (c010-020)}) = {F 02.00, r510,c010}

v1361_m

F 02.00

F 20.03

sum({F 20.03, r210, (c010-020)}) = {F 02.00, r520,c010}

v1362_m

F 02.00

F 20.03

sum({F 20.03, r220, (c010-020)}) = {F 02.00, r580,c010}

v1363_m

F 02.00

F 20.03

sum({F 20.03, r230, (c010-020)}) = {F 02.00, r590,c010}

v1364_m

F 02.00

F 20.03

sum({F 20.03, r240, (c010-020)}) = {F 02.00, r600,c010}

v1365_m

F 02.00

F 20.03

sum({F 20.03, r250, (c010-020)}) = {F 02.00, r610,c010}

v1366_m

F 02.00

F 20.03

sum({F 20.03, r260, (c010-020)}) = {F 02.00, r620,c010}

v1367_m

F 02.00

F 20.03

sum({F 20.03, r270, (c010-020)}) = {F 02.00, r630,c010}

v1368_m

F 02.00

F 20.03

sum({F 20.03, r275, (c010-020)}) = {F 02.00, r632,c010}

v1369_m

F 02.00

F 20.03

sum({F 20.03, r280, (c010-020)}) = {F 02.00, r640,c010}

v1370_m

F 02.00

F 20.03

sum({F 20.03, r290, (c010-020)}) = {F 02.00, r670,c010}

v1371_m

F 02.00

F 45.02

{F 45.02, r050,c010} = {F 02.00, r330,c010}

v1372_m

F 02.00

F 31.02

sum({F 31.02, r010, (c010-050)}) <= {F 02.00, r010,c010}

v1373_m

F 02.00

F 31.02

sum({F 31.02, r020, (c010-050)}) <= {F 02.00, r090,c010}

v1374_m

F 02.00

F 31.02

sum({F 31.02, r030, (c010-050)}) <= {F 02.00, r160,c010}

v1375_m

F 02.00

F 31.02

sum({F 31.02, r040, (c010-050)}) <= {F 02.00, r200,c010}

v1376_m

F 02.00

F 31.02

sum({F 31.02, r050, (c010-050)}) <= {F 02.00, r210,c010}

v1377_m

F 04.01

F 04.02

F 04.03

F 04.04

F 04.06

F 05.00

{F 05.00, r080,c010} = {F 04.01, r130,c010} + {F 04.02, r130,c010} + {F 04.03, r130,c030} + {F 04.04, r080,c060} + {F 04.04, r220,c060} + {F 04.06, r130,c010}

v1378_m

F 04.01

F 04.02

F 04.03

F 04.04

F 04.06

F 05.00

{F 05.00, r080,c020} = {F 04.01, r140,c010} + {F 04.02, r140,c010} + {F 04.03, r140,c030} + {F 04.04, r090,c060} + {F 04.04, r230,c060} + {F 04.06, r140,c010}

v1379_m

F 04.01

F 04.02

F 04.03

F 04.04

F 04.06

F 05.00

{F 05.00, r080,c030} = {F 04.01, r150,c010} + {F 04.02, r150,c010} + {F 04.03, r150,c030} + {F 04.04, r100,c060} + {F 04.04, r240,c060} + {F 04.06, r150,c010}

v1380_m

F 04.01

F 04.02

F 04.03

F 04.04

F 04.06

F 05.00

{F 05.00, r080,c040} = {F 04.01, r160,c010} + {F 04.02, r160,c010} + {F 04.03, r160,c030} + {F 04.04, r110,c060} + {F 04.04, r250,c060} + {F 04.06, r160,c010}

v1381_m

F 04.01

F 04.02

F 04.03

F 04.04

F 04.06

F 05.00

{F 05.00, r080,c050} = {F 04.01, r170,c010} + {F 04.02, r170,c010} + {F 04.03, r170,c030} + {F 04.04, r120,c060} + {F 04.04, r260,c060} + {F 04.06, r170,c010}

v1382_m

F 04.01

F 04.02

F 04.03

F 04.04

F 04.06

F 05.00

{F 05.00, r080,c060} = {F 04.01, r180,c010} + {F 04.02, r180,c010} + {F 04.03, r180,c030} + {F 04.04, r130,c060} + {F 04.04, r270,c060} + {F 04.06, r180,c010}

v1383_m

F 03.00

F 46.00

{F 46.00, r200,c140} = {F 03.00, r340,c010}

v1384_m

F 03.00

F 46.00

sum({F 46.00, r200, ({c050}, {c100})}) = {F 03.00, r360,c010}

v1385_m

F 01.02

F 20.05.b

{F 01.02, r220,c010} = xsum({F 20.05.b, c030, (r010-030, sNNN)})

v1386_m

F 20.05.b

F 43.00

{F 43.00, r070,c050} = xsum({F 20.05.b, c030, (r010-030, sNNN)})

v1500_m

C 51.00.a

(030)

{r030} <= {r020}

v1501_m

C 51.00.w

(030)

(All)

{r030} <= {r020}

v1502_m

C 51.00.a

(040-140;620-860;880-900)

{c020} <= {c010}

v1503_m

C 51.00.w

(040-140;620-860;880-900)

(All)

{c020} <= {c010}

v1504_m

C 51.00.b

(180-610)

{c020} <= {c010}

v1505_m

C 51.00.x

(180-610)

(All)

{c020} <= {c010}

v1506_m

C 51.00.b

(180-610)

{c040} <= {c030}

v1507_m

C 51.00.x

(180-610)

(All)

{c040} <= {c030}

v1508_m

C 52.00.a

(010;020)

{r1360} <= {r1350}

v1509_m

C 52.00.w

(010;020)

(All)

{r1360} <= {r1350}

v1510_m

C 52.00.a

(020-090;1060-1130;1220-1370)

{c020} <= {c010}

v1511_m

C 52.00.w

(020-090;1060-1130;1220-1370)

(All)

{c020} <= {c010}

v1512_m

C 52.00.a

(1140-1210)

{c040} <= {c030}

v1513_m

C 52.00.w

(1140-1210)

(All)

{c040} <= {c030}

v1514_m

C 52.00.b

(120-680)

{c030} + {c050} + {c080} + {c100} <= {c010}

v1515_m

C 52.00.x

(120-680)

(All)

{c030} + {c050} + {c080} + {c100} <= {c010}

v1516_m

C 52.00.b

(780-920)

{c030} + {c080} + {c100} <= {c010}

v1517_m

C 52.00.x

(780-920)

(All)

{c030} + {c080} + {c100} <= {c010}

v1518_m

C 52.00.d

(010-040)

{r1010} <= {r1000}

v1519_m

C 52.00.z

(010-040)

(All)

{r1010} <= {r1000}

v1520_m

C 52.00.d

(960-1040)

{c020} <= {c010}

v1521_m

C 52.00.z

(960-1040)

(All)

{c020} <= {c010}

v1522_m

C 52.00.d

(960-1030)

{c040} <= {c030}

v1523_m

C 52.00.z

(960-1030)

(All)

{c040} <= {c030}

v1524_m

C 53.00.a

(010;020)

{r030} <= {r020}

v1525_m

C 53.00.w

(010;020)

(All)

{r030} <= {r020}

v1526_m

C 53.00.a

(010;020)

{r050} <= {r040}

v1527_m

C 53.00.w

(010;020)

(All)

{r050} <= {r040}

v1528_m

C 53.00.a

(010-110;940-980;1000-1030)

{c020} <= {c010}

v1529_m

C 53.00.w

(010-110;940-980;1000-1030)

(All)

{c020} <= {c010}

v1530_m

C 60.00.a

(010)

{r030} <= {r020}

v1531_m

C 60.00.w

(010)

(All)

{r030} <= {r020}

v1532_m

C 60.00.a

(010-100)

(All)

sum(r080-090) = sum(r100-150)

v1533_m

C 60.00.w

(010-100)

(All)

sum(r080-090) = sum(r100-150)

v1534_m

C 60.00.a

(010-100)

(All)

sum(r160-175) = sum(r180-230)

v1535_m

C 60.00.w

(010-100)

(All)

sum(r160-175) = sum(r180-230)

v1536_m

C 61.00.a

C 01.00

{C 61.00.a, r010,c050} = {C 01.00, r015,c010}

v1537_m

C 61.00.a

C 01.00

{C 61.00.a, r020,c050} = {C 01.00, r750,c010}

v1538_m

C 60.00.a

C 51.00.a

{C 60.00.a, r010,c010} = {C 51.00.a, r010,c030}

v1539_m

C 60.00.a

C 51.00.a

{C 60.00.a, r020,c010} = {C 51.00.a, r020,c030}

v1540_m

C 60.00.a

C 51.00.a

{C 60.00.a, r030,c010} = {C 51.00.a, r030,c030}

v1541_m

C 61.00.b

C 52.00.a

sum({C 61.00.b, r040, (c010-050)}) = sum({C 52.00.a, c010, (r020-030)})

v1542_m

C 61.00.b

C 52.00.a

sum({C 61.00.b, r050, (c010-050)}) = sum({C 52.00.a, (r040-050), c010})

v1543_m

C 61.00.b

C 52.00.a

sum({C 61.00.b, r060, (c010-050)}) = sum({C 52.00.a, c010, (r060-090)})

v1544_m

C 61.00.b

C 52.00.c

xsum({C 61.00.b, (r070, r140, c010-050)}) >= xsum({C 52.00.c, (r120-920, c020, c070)})

v1545_m

C 61.00.b

C 52.00.c

xsum({C 61.00.b, (r080, r150, c010-050)}) >= xsum({C 52.00.c, (r120-920, c040, c090)})

v1546_m

C 61.00.b

C 52.00.c

xsum({C 61.00.b, (r090, r160, c010-050)}) >= xsum({C 52.00.c, (r120-920, c060, c110, c120)})

v1547_m

C 61.00.b

C 52.00.a

sum({C 61.00.b, r240, (c010-050)}) >= {C 52.00.a, r1080,c020}

v1548_m

C 61.00.x

C 52.00.w

(All)

sum({C 61.00.x, r040, (c010-050)}) = sum({C 52.00.w, c010, (r020-030)})

v1549_m

C 61.00.x

C 52.00.w

(All)

sum({C 61.00.x, r050, (c010-050)}) = sum({C 52.00.w, (r040-050), c010})

v1550_m

C 61.00.x

C 52.00.w

(All)

sum({C 61.00.x, r060, (c010-050)}) = sum({C 52.00.w, c010, (r060-090)})

v1551_m

C 61.00.x

C 52.00.y

(All)

xsum({C 61.00.x, (r070, r140, c010-050)}) >= xsum({C 52.00.y, (r120-920, c020, c070)})

v1552_m

C 61.00.x

C 52.00.y

(All)

xsum({C 61.00.x, (r080, r150, c010-050)}) >= xsum({C 52.00.y, (r120-920, c040, c090)})

v1553_m

C 61.00.x

C 52.00.y

(All)

xsum({C 61.00.x, (r090, r160, c010-050)}) >= xsum({C 52.00.y, (r120-920, c060, c110, c120)})

v1554_m

C 61.00.x

C 52.00.w

(All)

sum({C 61.00.x, r240, (c010-050)}) >= {C 52.00.w, r1080,c020}

v1555_m

C 60.00.w

C 51.00.w

(All)

{C 60.00.w, r010,c010} = {C 51.00.w, r010,c030}

v1556_m

C 60.00.w

C 51.00.w

(All)

{C 60.00.w, r020,c010} = {C 51.00.w, r020,c030}

v1557_m

C 60.00.w

C 51.00.w

(All)

{C 60.00.w, r030,c010} = {C 51.00.w, r030,c030}

v1617_m

C 10.01

(All)

{c010} <= 1

v1627_m

C 05.01

(010)

{r200} >= {r210}

v1628_m

C 05.01

(010)

{r340} >= {r350}

v1629_m

C 05.01

(010)

{r390} >= {r400}

v1630_m

C 05.01

(010;020;030)

{r010} = {r020} + {r070} + {r100}

v1631_m

C 05.01

(020)

{r200} = {r210} + {r220}

v1632_m

C 05.01

(030)

{r200} >= {r230}

v1634_m

C 06.00

(All)

{c310} = {c320} + {c330}

v1635_m

C 06.00

C 01.00

sum({C 06.00, c320, (rNNN)}) = {C 01.00, r230,c010}

v1636_m

C 06.00

C 01.00

sum({C 06.00, c330, (rNNN)}) = {C 01.00, r670,c010}

v1637_m

C 06.00

C 01.00

sum({C 06.00, c340, (rNNN)}) = {C 01.00, r890,c010}

v1639_m

C 07.00.a

(010;040;100-140;150-220)

(All)

{r020} <= {r010}

v1640_m

C 07.00.a

(010;040;100-140;150-220)

(All)

{r030} <= {r020}

v1641_m

C 07.00.a

(010;040;100-140;150-220)

(All)

{r040} <= {r010}

v1642_m

C 07.00.a

(010;040;100-140;150-220)

(All)

{r050} <= {r010}

v1643_m

C 07.00.a

(010;040;100-140;150-220)

(All)

{r060} <= {r010}

v1644_m

C 07.00.a

(090;110;130)

(All)

{c215} >= {c220}

v1645_m

C 07.00.a

(030; 050-090)

(All)

{r020} >= {r010}

v1646_m

C 07.00.a

(030; 050-090)

(All)

{r030} >= {r020}

v1647_m

C 07.00.a

(030; 050-090)

(All)

{r040} >= {r010}

v1648_m

C 07.00.a

(030; 050-090)

(All)

{r050} >= {r010}

v1649_m

C 07.00.a

(030; 050-090)

(All)

{r060} >= {r010}

v1658_m

C 07.00.c

(290;310)

(All)

{c200} >= {c210}

v1659_m

C 07.00.c

(290;310)

(All)

{c200} = {c150} - {c160} - (0.8 * {c170}) - (0.5 * {c180})

v1660_m

C 07.00.d

(300-320)

(All)

{c200} >= {c210}

v1661_m

C 07.00.d

(300-320)

(All)

{c200} = {c150} - {c160} - (0.8 * {c170}) - (0.5 * {c180})

v1662_m

C 08.01.a

(All)

(All)

{c090} = {c020} + {c070} + {c080}

v1663_m

C 08.01.a

(010-070;170-180)

(All)

{c070} = {c040} + {c050} + {c060}

v1664_m

C 08.01.a

(040;050;060)

(All)

{c255} >= {c260}

v1665_m

C 08.02

(All)

(All)

{c070} = {c040} + {c050} + {c060}

v1666_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r070, c090, (sNNN)}) = {C 07.00.a, r010,c220, s008}

v1667_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r075, c090, (sNNN)}) = {C 07.00.a, r020,c220, s008}

v1668_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r080, c090, (sNNN)}) = {C 07.00.a, r010,c220, s009}

v1669_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r085, c090, (sNNN)}) = {C 07.00.a, r020,c220, s009}

v1670_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r090, c090, (sNNN)}) = {C 07.00.a, r010,c220, s010}

v1671_m

C 09.01.a

C 07.00.a

sum({C 09.01.a, r095, c090, (sNNN)}) = {C 07.00.a, r020,c220, s010}

v1672_m

C 09.02

C 08.01.a

sum({C 09.02, r050, c125, (sNNN)}) = sum({C 08.01.a, r010, c260, (s007-008)})

v1673_m

C 09.02

C 08.01.a

sum({C 09.02, r080, c125, (sNNN)}) = {C 08.01.a, r010,c260, s013}

v1674_m

C 09.02

C 08.01.a

sum({C 09.02, r120, c125, (sNNN)}) = {C 08.01.a, r010,c260, s016}

v1675_m

C 10.02

(All)

{c010} <= 1

v1677_m

C 29.00

(All)

{c050} = sum(c070-190)

v1678_m

C 29.00

(All)

{c050} >= abs({c200} + {c210})

v1679_m

C 29.00

(All)

{c050} >= {c060}

v1680_m

C 29.00

(All)

{c220} = {c050} + {c200} + {c210}

v1681_m

C 29.00

(All)

{c220} >= abs({c250} + {c260} + {c270} + {c280} + {c290} + {c300} + {c310} + {c320} + {c330})

v1682_m

C 29.00

(All)

{c220} >= {c230}

v1683_m

C 29.00

(All)

{c340} = {c220} + {c250} + {c260} + {c270} + {c280} + {c290} + {c300} + {c310} + {c320} + {c330}

v1684_m

C 29.00

(All)

{c340} >= {c350}

v1688_m

C 40.00

{r020,c050} <= {r020,c070} * 10%

v1689_m

C 40.00

{r050,c050} <= {r050,c070} * 10%

v1690_m

C 40.00

{r050,c050} <= {r060,c070} * 10%

v1691_m

C 40.00

(All)

{r100} >= +{r110} + {r130}

v1692_m

C 46.00.a

C 46.00.c

{C 46.00.c, r170,c030} <= {C 46.00.a, r140,c030}

v1694_m

F 01.01

(010)

{r091} = sum(r092-095)

v1695_m

F 01.01

(010)

{r171} = sum(r172-174)

v1696_m

F 01.01

(010)

{r175} = sum(r176-178)

v1697_m

F 01.01

(010)

{r234} = sum(r235-237)

v1698_m

F 01.02

(010)

{r300} = {r010} + {r061} + {r070} + {r110} + {r141} + {r150} + {r160} + {r170} + {r240} + sum(r270-290)

v1699_m

F 02.00

(010)

{r355} = {r010} - {r090} - {r150} + {r160} + {r200} - {r210} + {r220} + {r280} + {r285} + {r290} + {r295} + {r300} + {r310} + {r320} + {r330} + {r340} - {r350}

v1702_m

F 10.00

F 01.01

{F 10.00, r290,c022} = {F 01.01, r092,c010}

v1703_m

F 10.00

F 01.02

{F 10.00, r290,c025} = {F 01.02, r062,c010}

v1704_m

F 11.01

F 01.02

{F 11.01, r500,c020} = {F 01.02, r150,c010}

v1705_m

F 11.02

(010)

{r010} = sum(r020-050)

v1706_m

F 11.02

(010)

{r060} = sum(r070-100)

v1707_m

F 11.02

(010)

{r110} = sum(r120-150)

v1708_m

F 11.02

(010)

{r240} <= {r230}

v1709_m

F 11.02

(010)

{r250} <= {r230}

v1710_m

F 11.02

(010)

{r260} <= {r230}

v1713_m

F 16.07.b

(040)

{r060} = sum(r070-090)

v1714_m

F 15.00.a

F 01.01

{F 15.00.a, r042,c010} <= {F 01.01, r093,c010}

v1715_m

F 15.00.a

F 01.01

{F 15.00.a, r043,c010} <= {F 01.01, r094,c010}

v1716_m

F 15.00.a

F 01.01

{F 15.00.a, r044,c010} <= {F 01.01, r095,c010}

v1717_m

F 15.00.a

F 01.01

{F 15.00.a, r122,c010} <= {F 01.01, r172,c010}

v1718_m

F 15.00.a

F 01.01

{F 15.00.a, r123,c010} <= {F 01.01, r173,c010}

v1719_m

F 15.00.a

F 01.01

{F 15.00.a, r124,c010} <= {F 01.01, r174,c010}

v1720_m

F 15.00.a

F 01.01

{F 15.00.a, r126,c010} <= {F 01.01, r176,c010}

v1721_m

F 15.00.a

F 01.01

{F 15.00.a, r127,c010} <= {F 01.01, r177,c010}

v1722_m

F 15.00.a

F 01.01

{F 15.00.a, r128,c010} <= {F 01.01, r178,c010}

v1723_m

F 15.00.a

F 01.01

{F 15.00.a, r182,c010} <= {F 01.01, r232,c010}

v1724_m

F 15.00.a

F 01.01

{F 15.00.a, r183,c010} <= {F 01.01, r233,c010}

v1725_m

F 15.00.a

F 01.01

{F 15.00.a, r185,c010} <= {F 01.01, r235,c010}

v1726_m

F 15.00.a

F 01.01

{F 15.00.a, r186,c010} <= {F 01.01, r236,c010}

v1727_m

F 15.00.a

F 01.01

{F 15.00.a, r187,c010} <= {F 01.01, r237,c010}

v1728_m

F 20.01

(010-020)

{r091} = sum(r092-095)

v1729_m

F 20.01

(010-020)

{r171} = sum(r172-174)

v1730_m

F 20.01

(010-020)

{r175} = sum(r176-178)

v1731_m

F 20.01

(010-020)

{r234} = sum(r235-237)

v1732_m

F 20.03

(010-020)

{r155} = {r010} - {r020} - {r030} + {r040} + {r050} - {r060} + {r070} + {r080} + {r085} + {r090} + {r095} + {r100} + {r110} + {r120} + {r130} + {r140} - {r150}

v1734_m

F 20.05.a

F 09.01

sum({F 20.05.a, r010, c010, (sNNN)}) = {F 09.01, r010,c010}

v1735_m

F 20.05.a

F 09.01

sum({F 20.05.a, r010, c020, (sNNN)}) = {F 09.01, r020,c010}

v1736_m

F 20.05.a

F 09.01

sum({F 20.05.a, r020, c010, (sNNN)}) = {F 09.01, r090,c010}

v1737_m

F 20.05.a

F 09.01

sum({F 20.05.a, r020, c020, (sNNN)}) = {F 09.01, r100,c010}

v1738_m

F 20.05.a

F 09.01

sum({F 20.05.a, r030, c010, (sNNN)}) = {F 09.01, r170,c010}

v1739_m

F 20.05.a

F 09.01

sum({F 20.05.a, r030, c020, (sNNN)}) = {F 09.01, r180,c010}

v1740_m

F 20.06

F 08.01.a

sum({F 20.06, r010, c010, (sNNN)}) = xsum({F 08.01.a, (r010, c010, c034)})

v1741_m

F 20.06

F 08.01.a

sum({F 20.06, r040, c010, (sNNN)}) = xsum({F 08.01.a, (r020, c010, c034)})

v1742_m

F 20.06

F 08.01.a

sum({F 20.06, r070, c010, (sNNN)}) = sum({F 08.01.a, r050, (c010-035)})

v1743_m

F 20.06

F 08.01.a

sum({F 20.06, r080, c010, (sNNN)}) = sum({F 08.01.a, r060, (c010-035)})

v1744_m

F 20.06

F 08.01.a

sum({F 20.06, r090, c010, (sNNN)}) = sum({F 08.01.a, r110, (c010-035)})

v1745_m

F 20.06

F 08.01.a

sum({F 20.06, r100, c010, (sNNN)}) = sum({F 08.01.a, r160, (c010-035)})

v1746_m

F 20.06

F 08.01.a

sum({F 20.06, r110, c010, (sNNN)}) = sum({F 08.01.a, r210, (c010-035)})

v1747_m

F 20.06

F 08.01.a

sum({F 20.06, r120, c010, (sNNN)}) = sum({F 08.01.a, r260, (c010-035)})

v1748_m

F 20.06

F 08.01.a

sum({F 20.06, r130, c010, (sNNN)}) = sum({F 08.01.a, r310, (c010-035)})

v1749_m

F 46.00

(085)

{r210} = {r040} + {r170}

v1750_m

F 46.00

(050)

{c140} = {c010} + {c020} + {c060} + {c070} + {c075} + {c080} + {c130}

v1751_m

F 46.00

(060)

{c140} = {c010} + {c020} + {c030} + {c060} + {c070} + {c075} + {c080} + {c130}

v1752_m

F 46.00

(070;080)

{c140} = {c030} + {c060} + {c070} + {c075} + {c080} + {c130}

v1754_m

F 46.00

(090)

{c140} = {c010} + {c020} + {c030} + {c040} + {c060} + {c070} + {c075} + {c080} + {c130}

v1755_m

F 46.00

(100)

{c140} = {c010} + {c020} + {c060} + {c070} + {c075} + {c080} + {c090} + {c130}

v1756_m

F 46.00

(110)

{c140} = {c010} + {c020} + {c030} + {c040} + {c060} + {c070} + {c075} + {c080} + {c090} + {c110} + {c130}

v1757_m

F 46.00

(120;130)

{c140} = {c060} + {c070} + {c075} + {c080} + {c090} + {c120} + {c130}

v1758_m

F 46.00

(140;150)

{c140} = {c010} + {c020} + {c030} + {c040} + {c130}

v1759_m

F 46.00

(160)

{c140} = {c030} + {c040} + {c050} + {c060} + {c070} + {c075} + {c080} + {c100} + {c110} + {c120} + {c130}

v1760_m

F 46.00

(170)

{c140} = {c010} + {c020} + {c030} + {c040} + {c050} + {c060} + {c070} + {c075} + {c080} + {c085} + {c090} + {c130}

v1761_m

F 46.00

(180)

{c140} = {c010} + {c020} + {c040} + {c090} + {c130}

v1762_m

F 46.00

(190)

{c140} = {c030} + {c040} + {c050} + {c060} + {c070} + {c075} + {c080} + {c090} + {c100} + {c110} + {c120} + {c130}

v1763_m

F 46.00

(200)

{c140} = {c050} + {c060} + {c070} + {c075} + {c080} + {c100} + {c120} + {c130}

v1764_m

F 43.00

(010-070)

{c070} = sum(c010-060)

v1765_m

F 17.01

(010)

{r091} = sum(r092-095)

v1766_m

F 17.01

(010)

{r171} = sum(r172-174)

v1767_m

F 17.01

(010)

{r175} = sum(r176-178)

v1768_m

F 17.01

(010)

{r234} = sum(r235-237)

v1769_m

F 17.03

(010)

{r061} = sum(r062-066)

v1770_m

F 17.03

(010)

{r141} = sum(r142-144)

v1771_h

C 01.00

(010)

{r015} = +{r530} + {r020}