C 12.00
 (010;020;030;040;050;060;070;080;090)
 (020;030)
 {C 12.00} <= 0
 v3739_s
 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)
 (050;070;110;120;140;280;350;360;370)
 {C 12.00} >= 0
 v3740_s
 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)
 (060;080;090;100;130)
 {C 12.00} <= 0
 v3741_s
 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;250;260;270;280;290)
 (190;210;330;340)
 {C 12.00} >= 0
 v3742_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)
 (290;300;310;320)
 {C 12.00} >= 0
 v3743_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)
 (220;230;240;250;260;270)
 {C 12.00} >= 0
 v3744_s
 C 12.00
 (010;020;030;070;080;090;100;110;150;160;170;180;220;230;240)
 (150;160;170;180)
 {C 12.00} >= 0
 v3745_s
 C 13.00
 (010;020)
 (450;460)
 {C 13.00} >= 0
 v3746_s
 C 13.00
 (010;020;030;040;050;060;070;080;090;100;110;120;130;140;150)
 (010;040)
 {C 13.00} >= 0
 v3747_s
 C 13.00
 (010;020;030;040;050;060;070;080;090;100;110;120;130;140;150)
 (020;030)
 {C 13.00} <= 0
 v3748_s
 C 13.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;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420)
 (050;090;100;120;420;430;440)
 {C 13.00} >= 0
 v3749_s
 C 13.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;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420)
 (060;070;080;110;390)
 {C 13.00} <= 0
 v3750_s
 C 13.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;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420;430;440;450;460;470;480;490;500;510;520;530;540)
 (170;190;400;410)
 {C 13.00} >= 0
 v3751_s
 C 13.00
 (010;020;030;040;050;060;070;080;090;100;110;120;130;140;150;170;180;190;200;210;220;230;240;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420)
 (330;340;370;380)
 {C 13.00} >= 0
 v3752_s
 C 13.00
 (010;020;030;040;050;060;070;080;090;100;110;120;130;140;150;170;180;190;200;210;220;230;240;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420;430;440;450;460;470;480;490;500;510;520;530;540)
 (180)
 {C 13.00} <= 0
 v3753_s
 C 13.00
 (010;020;030;040;050;060;070;080;090;100;110;120;130;140;150;170;180;190;200;210;220;230;240;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420;430;440;450;460;470;480;490;500;510;520;530;540)
 (200;210;220;230;240;250;260;270;280;290;300;310;320)
 {C 13.00} >= 0
 v3754_s
 C 13.00
 (010;020;030;100;110;120;130;140;150;160;170;180;190;200;210;220;230;240;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420)
 (350;360)
 {C 13.00} >= 0
 v3755_s
 C 13.00
 (010;020;030;100;110;120;130;140;150;160;170;240;250;260;270;280;290;300;370;380;390;400;410;420)
 (130;140;150;160)
 {C 13.00} >= 0
 v3756_s
 C 14.00
 (All)
 (090;130;140;150;200;220;230;240;250;260;270;280;310;320;330;340;350;360;370;380;390;400;410;430;440;460;470;480)
 {C 14.00} >= 0
 v3757_s
 C 15.00
 (All)
 (010;020;030;040;050)
 (All)
 {C 15.00} >= 0
 v3758_s
 C 16.00.a
 (010;020)
 (070;071)
 {C 16.00.a} >= 0
 v3759_s
 C 16.00.a
 (110;120)
 (040;050;060)
 {C 16.00.a} >= 0
 v3760_s
 C 16.00.b
 (130)
 (070;071;080;090)
 {C 16.00.b} >= 0
 v3761_s
 C 17.00.a
 (010;020;030;040;110;120;130;140;210;220;230;240;310;320;330;340;410;420;430;440;510;520;530;540;610;620;630;640;710;720;730;740;810;820;830;840;910;920;930;940)
 (010;020;030;040;050;060;070;080)
 {C 17.00.a} >= 0
 v3762_s
 C 17.00.b
 (020;120;220;320;420;520;620;720;820;920)
 (All)
 {C 17.00.b} >= 0
 v3763_s
 C 18.00
 (010)
 (070)
 (All)
 {C 18.00} >= 0
 v3764_s
 C 18.00
 (010;011;020;210;250;251;260;270;280;290;300;310;320;321;325;330;340;350;360;370;380;390)
 (060)
 (All)
 {C 18.00} >= 0
 v3765_s
 C 18.00
 (012;013;020;030;080;120;210;220;230;240;250;260;270;280;290;300;310;320;321)
 (010;020)
 (All)
 {C 18.00} >= 0
 v3766_s
 C 18.00
 (020;030;040;050;060;070;080;090;100;110;120;130;140;150;160;170;180;190;200;210;220;230;240;250;260;270;280;290;300;310;320;321)
 (030;040)
 (All)
 {C 18.00} >= 0
 v3767_s
 C 18.00
 (020;210;250;260;270;280;290;300;310;320;321)
 (050)
 (All)
 {C 18.00} >= 0
 v3768_s
 C 19.00
 (010)
 (610)
 {C 19.00} >= 0
 v3769_s
 C 19.00
 (010;020;030;040;050;060;070;080;090;100;110)
 (010;020;050;060;090;100;110;170;200;230;240;250;260;270;280;290;320;330;340;400;430;460;470;480;490;500;510;520;550;560;580;590)
 {C 19.00} >= 0
 v3770_s
 C 19.00
 (010;020;030;040;050;060;070;080;090;100;110;120;130;140;150;160;170;180;190;200;210)
 (570;600)
 {C 19.00} >= 0
 v3771_s
 C 19.00
 (010;020;030;050;060;080;090;110)
 (120;130;140;160;190;210;220;350;360;370;390;420;440;450)
 {C 19.00} >= 0
 v3772_s
 C 19.00
 (010;030;040;060;070)
 (530;540)
 {C 19.00} >= 0
 v3773_s
 C 19.00
 (010;030;040;060;070;090;100)
 (070;080;150;180;300;310;380;410)
 {C 19.00} >= 0
 v3774_s
 C 20.00
 (010)
 (450)
 {C 20.00} >= 0
 v3775_s
 C 20.00
 (010;020;030;040;050;060;070;080;090;100;110;120)
 (010;020;050;060;070;080;090;100;110;120;130;140;150;170;180;240;250;260;270;280;290;300;310;320;340;350;410;420;430;440)
 {C 20.00} >= 0
 v3776_s
 C 20.00
 (010;020;030;050;060;080;090)
 (190;200;210;220;230;360;370;380;390;400)
 {C 20.00} >= 0
 v3777_s
 C 20.00
 (010;020;040;050;070;080;100;110;120)
 (160;330)
 {C 20.00} >= 0
 v3778_s
 C 21.00
 (010)
 (070)
 (All)
 {C 21.00} >= 0
 v3779_s
 C 21.00
 (010;020;050;080;090;100;110;120;130)
 (060)
 (All)
 {C 21.00} >= 0
 v3780_s
 C 21.00
 (020;021;022;030;040;050;080;090)
 (010;020)
 (All)
 {C 21.00} >= 0
 v3781_s
 C 21.00
 (020;030;040;050;080;090)
 (030;040)
 (All)
 {C 21.00} >= 0
 v3782_s
 C 21.00
 (020;050;080;090)
 (050)
 (All)
 {C 21.00} >= 0
 v3783_s
 C 22.00
 (010)
 (100)
 {C 22.00} >= 0
 v3784_s
 C 22.00
 (010;020)
 (080)
 {C 22.00} >= 0
 v3785_s
 C 22.00
 (010;020;030;040;050;060;070;080;090)
 (090)
 {C 22.00} >= 0
 v3786_s
 C 22.00
 (010;020;030;040;100;110;120;130;140;150;160;170;180;190;200;210;220;230;240;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420;430;440;450;460;470)
 (020;030)
 {C 22.00} >= 0
 v3787_s
 C 22.00
 (010;020;030;040;130;140;150;160;170;180;190;200;210;220;230;240;250;260;270;280;290;300;310;320;330;340;350;360;370;380;390;400;410;420;430;440;450;460;470)
 (040;050)
 {C 22.00} >= 0
 v3788_s
 C 22.00
 (010;030;040)
 (060;070)
 {C 22.00} >= 0
 v3789_s
 C 23.00
 (010)
 (070)
 {C 23.00} >= 0
 v3790_s
 C 23.00
 (010;020;030;040;050;060;070;080;090)
 (010;020;030;040;050)
 {C 23.00} >= 0
 v3791_s
 C 23.00
 (All)
 (060)
 {C 23.00} >= 0
 v3792_s
 C 24.00
 (010)
