(010;020;030;040;050;060;070;075;080;085;090;100;110;120;130;140)
 {r040} = +{r010} + {r030} + {r020}
 v2000_s
 C 05.01
 (120;133)
 (010)
 {C 05.01} <= 0
 v2027_s
 F 46.00
 (010;040;210)
 (010;020;030;040;085)
 {F 46.00} >= 0
 v2028_s
 F 46.00
 (010;040;210)
 (090;110)
 {F 46.00} <= 0
 v2034_s
 C 04.00
 (260;290;293;330;360;363;400;430;433;470;500;503;540;570;573;610;640;643)
 (010)
 {C 04.00} <= 0
 v2035_s
 C 05.01
 (080;090;091;092;120;130;133;136;138;150;160;170;180;190;210;211;212;220;221;222;230;231;232;250;280;310;350;360;370;400;410;420;430)
 (050)
 {C 05.01} >= 0
 v2036_s
 C 05.02
 (010;020;090)
 (050)
 {C 05.02} <= 0
 v2037_s
 C 07.00.a
 (010;020;030;040;050;060;070;080;090;110;130)
 (050;060;070;080;090;130;140)
 (All)
 {C 07.00.a} <= 0
 v2040_s
 C 07.00.d
 (300;320)
 (030)
 (All)
 {C 07.00.d} <= 0
 v2041_s
 C 08.01.a
 (010;020;030;040;050;060;070;170;180)
 (040;050;060;070)
 (All)
 {C 08.01.a} <= 0
 v2042_s
 C 08.01.a
 (010;020;030;040;050;060;070;170;180)
 (080)
 (All)
 {C 08.01.a} >= 0
 v2049_s
 C 08.02
 (All)
 (040;050;060;070;290)
 (All)
 {C 08.02} <= 0
 v2051_s
 C 10.01
 (020;050)
 (030;040;050)
 {C 10.01} <= 0
 v2052_s
 C 12.00
 (010;020;030;040;050;060;070;080;090;110;120;130;140;150;160;170;180;190;200;210;220;230;240;250;260;270;280;290)
 (200)
 {C 12.00} <= 0
 v2054_s
 C 14.00
 (All)
 (210;420)
 {C 14.00} <= 0
 v2055_s
 C 16.00.b
 (130)
 (100;110;120)
 {C 16.00.b} <= 0
 v2056_s
 C 19.00
 (010;020;030;040;050;060;070;080;090;100;110)
 (030;040)
 {C 19.00} <= 0
 v2057_s
 C 20.00
 (010;020;030;040;050;060;070;080;090;100;110;120)
 (030;040)
 {C 20.00} <= 0
 v2058_s
 C 28.00
 (All)
 (190;200;240;250;260;270;280;290;300;310;320)
 {C 28.00} <= 0
 v2059_s
 C 29.00
 (All)
 (200;210;250;260;270;280;290;300;310;320;330)
 {C 29.00} <= 0
 v2060_s
 F 01.03
 (240;260)
 (010)
 {F 01.03} <= 0
 v2061_s
 F 17.03
 (340;360)
 (010)
 {F 17.03} <= 0
 v2062_s
 F 46.00
 (010;020;030;040;110;160;190;210)
 (110)
 {F 46.00} <= 0
 v2090_h
 C 07.00.a
 (010;020;030;040;050;060;070;080;090;110;130)
 (All)
 {c130} >= +{c140}
 v2245_h
 C 09.02
 (010;030;040;050;055;060;070;080;090;100;105;110;120;130)
 (All)
 {r060} = +{r110} +{r100} +{r070}
 v3310_h
 C 08.01.a
 C 08.01.c
 (010)
 (010;020;030;040;050;060;070;080;090;110;140;150;160;170;180;190;200;210;220;230;240;250;255;260;270;280;290;300)
 {C 08.01.a, s007} >= +{C 08.01.c, s019}
 v3311_h
 C 08.01.a
 C 08.01.c
 (010)
 (010;020;030;040;050;060;070;080;090;110;140;150;160;170;180;190;200;210;220;230;240;250;255;260;270;280;290;300)
 {C 08.01.a, s008} >= +{C 08.01.c, s018}
 v3312_h
 C 08.01.a
 C 08.01.c
 (010)
 (010;020;030;040;050;060;070;080;090;110;140;150;160;170;180;190;200;210;220;230;240;250;255;260;270;280;290;300)
 {C 08.01.a, s013} >= +{C 08.01.c, s020}
 v3313_h
 C 08.01.a
 C 08.01.c
 (010)
 (010;020;030;040;050;060;070;080;090;110;140;150;160;170;180;190;200;210;220;230;240;250;255;260;270;280;290;300)
 {C 08.01.a, s016} >= +{C 08.01.c, s021}
 v3316_h
 F 02.00
 F 44.03
 (010)
 {F 02.00, r370} >= +{F 44.03, r010} +{F 44.03, r020}
 v3317_h
 F 37.00.c
 (190)
 {r180} = +{r010} +{r070}
 v3318_h
 F 37.00.c
 (190)
 {r340} = +{r190} +{r260}
 v3319_i
 C 00.01
 C 44.00
 {C 00.01, r010, c010}=={C 44.00, r030, c010}
 v3320_i
 C 00.01
 C 44.00
 {C 00.01, r020, c010}=={C 44.00, r060, c010}
 v3321_i
 C 01.00
 C 05.01
 {C 01.00, r220, c010}=={C 05.01, r020, c010}
 v3322_i
 C 01.00
 C 05.01
 {C 01.00, r240, c010}=={C 05.01, r070, c010}
 v3323_i
 C 01.00
 C 05.01
 {C 01.00, r520, c010}=={C 05.01, r100, c010}
 v3324_i
 C 01.00
 C 05.01
 {C 01.00, r660, c010}=={C 05.01, r020, c020}
 v3325_i
 C 01.00
 C 05.01
 {C 01.00, r680, c010}=={C 05.01, r070, c020}
 v3326_i
 C 01.00
 C 05.01
 {C 01.00, r730, c010}=={C 05.01, r100, c020}
 v3327_i
 C 01.00
 C 05.01
 {C 01.00, r880, c010}=={C 05.01, r020, c030}
 v3328_i
 C 01.00
 C 05.01
 {C 01.00, r900, c010}=={C 05.01, r070, c030}
 v3329_i
 C 01.00
 C 05.01
 {C 01.00, r960, c010}=={C 05.01, r100, c030}
 v3330_i
 C 01.00
 C 61.00.a
 {C 01.00, r015, c010}=={C 61.00.a, r010, c050, s010}
 v3331_i
 C 01.00
 C 61.00.a
 {C 01.00, r750, c010}=={C 61.00.a, r020, c050, s010}
 v3332_i
 C 02.00
 C 07.00.a
 {C 02.00, r070, c010}=={C 07.00.a, r010, c220, s002}
 v3333_i
 C 02.00
 C 07.00.a
 {C 02.00, r080, c010}=={C 07.00.a, r010, c220,