200003400236,2100,1,04:13=36,2100,2+5+7,04:13*                                                                                                                                                                                                                        10
200003410436,2100,1:7,04>36,2100,1:7,05*                                                                                                                                                                                                                              00
200003420436,2100,1:7,05>(36,2100,1:7,06+36,2100,1:7,07)*                                                                                                                                                                                                             00
200003430436,2100,1:7,08>36,2100,1:7,09*                                                                                                                                                                                                                              00
200003440436,2100,1:7,10>(36,2100,1:7,11+36,2100,1:7,12)*                                                                                                                                                                                                             00
200003461136,2100,2,04:13>36,2100,3+4,04:13*                                                                                                                                                                                                                          00
200003471136,2100,1,10>36,2101,1,01*                                                                                                                                                                                                                                  00
200003491136,2100,1:7,10>36,2100,1:7,04*                                                                                                                                                                                                                              00
200003501136,2100,1:7,12>36,2100,1:7,07*                                                                                                                                                                                                                              00
200003511136,2100,1:7,11>36,2100,1:7,06*                                                                                                                                                                                                                              00
200003521136,2100,2-3-4,04>36,2100,2-3-4,05*                                                                                                                                                                                                                          00
200003531136,2100,2-3-4,05>(36,2100,2-3-4,06+36,2100,2-3-4,07)*                                                                                                                                                                                                       00
200003541136,2100,2-3-4,08>36,2100,2-3-4,09*                                                                                                                                                                                                                          00
200003551136,2100,2-3-4,10>(36,2100,2-3-4,11+36,2100,2-3-4,12)*                                                                                                                                                                                                       00
200003560236,2100,2-3-4,10=36,2100,2-3-4,04*                                                                                                                                                                                                                          00
200003570436,2100,2-3-4,11>36,2100,2-3-4,06*                                                                                                                                                                                                                          00
200003580436,2100,2-3-4,12>36,2100,2-3-4,07*                                                                                                                                                                                                                          00
200003590436,2110,1,04:13=36,2110,2+5+7,04:13*                                                                                                                                                                                                                        10
200003600436,2110,1:7,04>36,2110,1:8,05*                                                                                                                                                                                                                              00
200003611136,2110,1:7,05>(36,2110,1:7,06+36,2110,1:7,07)*                                                                                                                                                                                                             00
200003621136,2110,1:7,08>36,2110,1:7,09*                                                                                                                                                                                                                              00
200003631136,2110,1:7,10>(36,2110,1:7,11+36,2110,1:7,12)*                                                                                                                                                                                                             00
200003651136,2110,2,04:13>36,2110,3+4,04:13*                                                                                                                                                                                                                          00
200003661136,2180,1:7,07>(36,2180,1:7,08+36,2180,1:7,09)*                                                                                                                                                                                                             00
200003671136,2180,3,04:09>36,2180,4,04:09*                                                                                                                                                                                                                            00
200003681136,2110,1:7,10>36,2110,1:7,04*                                                                                                                                                                                                                              00
200003691136,2110,1:7,12>36,2110,1:7,07*                                                                                                                                                                                                                              00
200003701136,2110,1:7,11>36,2110,1:7,06*                                                                                                                                                                                                                              00
200003711136,2110,2-3-4,04>36,2110,2-3-4,05*                                                                                                                                                                                                                          00
200003721136,2110,2-3-4,05>(36,2110,2-3-4,06+36,2110,2-3-4,07)*                                                                                                                                                                                                       00
200003731136,2110,2-3-4,08>36,2110,2-3-4,09*                                                                                                                                                                                                                          00
200003741136,2110,2-3-4,10>(36,2110,2-3-4,11+36,2110,2-3-4,12)*                                                                                                                                                                                                       00
200003750336,2110,2-3-4,10>36,2110,2-3-4,04*                                                                                                                                                                                                                          00
200003760336,2110,2-3-4,11>36,2110,2-3-4,06*                                                                                                                                                                                                                          00
200003770236,2110,2-3-4,12>36,2110,2-3-4,07*                                                                                                                                                                                                                          00
2000037802(36,2100,1,10+36,2110,1,10)>36,2120,1,01*                                                                                                                                                                                                                   00
2000037903(36,2100,1,10+36,2110,1,10)>36,2120,1,02*                                                                                                                                                                                                                   00
2000038003(36,2100,1,10+36,2110,1,10)>36,2120,1,03*                                                                                                                                                                                                                   00
200003810336,2120,1,02>36,2120,1,03*                                                                                                                                                                                                                                  00
200003820336,2120,1,03>36,2120,1,04*                                                                                                                                                                                                                                  00
2000038303(36,2100,1,08+36,2100,1,10+36,2110,1,08+36,2110,1,10)>36,2120,1,05*                                                                                                                                                                                         00
200003840336,2100,1,08>36,2120,1,06*                                                                                                                                                                                                                                  00
200003850336,2120,1,06>36,2120,1,07*                                                                                                                                                                                                                                  00
200003860336,2150,1,01>36,2150,1,02*                                                                                                                                                                                                                                  00
200003870336,2150,1,03>36,2150,1,04*                                                                                                                                                                                                                                  00
2000038803(36,2100,1,08+36,2100,1,10)>36,2150,1,01*                                                                                                                                                                                                                   00
2000038903(36,2110,1,08+36,2110,1,10)>36,2150,1,03*                                                                                                                                                                                                                   00
200003900336,2150,1,05>36,2150,1,07*                                                                                                                                                                                                                                  00
200003910336,2150,1,06>36,2150,1,08*                                                                                                                                                                                                                                  00
200003930336,2160,1,01>36,2160,1,02*                                                                                                                                                                                                                                  00
200003940336,2160,1,03>36,2160,1,04*                                                                                                                                                                                                                                  00
200003950336,2160,1,04>36,2160,1,05*                                                                                                                                                                                                                                  00
2000039703(36,2100,1,10+36,2110,1,10)>36,2160,1,01*                                                                                                                                                                                                                   00
2000039803(36,2100,1,10+36,2110,1,10)>36,2180,1,07*                                                                                                                                                                                                                   00
2000039903(36,2100,3.7,10+36,2110,3.7,10)>36,2180,2.6,07*                                                                                                                                                                                                             00
200004000336,2180,1,04:09>=(36,2180,2,04:09+36,2180,6,04:09)*                                                                                                                                                                                                         00
200004010336,2180,1:6,04>(36,2180,1:6,05+36,2180,1:6,06)*                                                                                                                                                                                                             00
200004020336,2180,1:6,07>36,2180,1:6,04*                                                                                                                                                                                                                              00
200004030336,2180,1-2-6,07>36,2180,1-2-6,04*                                                                                                                                                                                                                          00
200004040336,2180,1-2-6,04>(36,2180,1-2-6,05+36,2180,1-2-6,06)*                                                                                                                                                                                                       00
200004050336,2180,1-2-6,07>(36,2180,1-2-6,08+36,2180,1-2-6,09)*                                                                                                                                                                                                       00
200004060336,2180,1,07>36,2190,1,01*                                                                                                                                                                                                                                  00
200004070336,2180,1,07>(36,2190,1,02+36,2190,1,03+36,2190,1,04)*                                                                                                                                                                                                      00
200004080336,2200,1,03:07>36,2200,2,03:07*                                                                                                                                                                                                                            00
200004090336,2200,1,03:07>36,2200,3,03:07*                                                                                                                                                                                                                            00
200004100336,2200,1:4,04>=(36,2200,1:4,05+36,2200,1:4,06)*                                                                                                                                                                                                            00
200004110336,2200,1:4,04>36,2200,1:4,06*                                                                                                                                                                                                                              00
2000041303(36,2100,1.3.7,10+36,2110,1.3.7,10)>36,2180,1.2.6,07*                                                                                                                                                                                                       00
2000041403(36,2100,1,11+36,2100,1,12+36,2110,1,11+36,2110,1,12)>36,2180,1,09*                                                                                                                                                                                         00
200004150336,2180,1:6,08>36,2180,1:6,05*                                                                                                                                                                                                                              00
200004160336,2180,1:6,09>36,2180,1:6,06*                                                                                                                                                                                                                              00
200004170336,2180,1-2-6,04:09>36,2180,3,04:09*                                                                                                                                                                                                                        00
200004180336,2180,1-2-6,04:09>36,2180,5,04:09*                                                                                                                                                                                                                        00
200004190336,2120,1,02>36,2190,1,01*                                                                                                                                                                                                                                  00
200004200336,2120,1,03>(36,2190,1,02+36,2190,1,03)*                                                                                                                                                                                                                   00
200004210336,2180,1,04>36,2181,1,01*                                                                                                                                                                                                                                  00
200004270336,2120,1,01=(36,2201,1,01+36,2201,1,02+36,2201,1,03)*                                                                                                                                                                                                      00
200004280336,2210,1:6,03>36,2210,1:6,04*                                                                                                                                                                                                                              00
200004300336,2210,1:6,05=(36,2210,1:6,06+36,2210,1:6,07+36,2210,1:6,08)*                                                                                                                                                                                              00
200004310336,2210,1:6,05>36,2210,1:6,09*                                                                                                                                                                                                                              00
200004320336,2120,1,01<=(36,2210,1,07+36,2210,1,08)*                                                                                                                                                                                                                  00
200004330336,2320,1,01<=(36,2210,4,07+36,2210,4,08)*                                                                                                                                                                                                                  00
200004340336,2300,1,04:14=36,2300,2+14+22,04:14*                                                                                                                                                                                                                      00
200004350336,2300,2,04:14=36,2300,3+610+12,04:14*                                                                                                                                                                                                                    00
200004360336,2300,3,04:14>36,2300,4+5,04:14*                                                                                                                                                                                                                          00
200004370336,2300,12,04:14>36,2300,13,04:14*                                                                                                                                                                                                                          00
200004380336,2300,14,04:14=36,2300,15+16+18+19+21,04:14*                                                                                                                                                                                                              00
200004390336,2300,16,04:14>=36,2300,17,04:14*                                                                                                                                                                                                                         00
200004400336,2300,19,04:14>36,2300,20,04:14*                                                                                                                                                                                                                          00
200004410336,2300,23,04:14>=36,2300,24+25,04:14*                                                                                                                                                                                                                      00
200004420336,2300,1:26,04>(36,2300,1:26,05+36,2300,1:26,06)*                                                                                                                                                                                                          00
200004430336,2300,1:26,04>=36,2300,1:26,07*                                                                                                                                                                                                                           00
200004440336,2300,1:26,07>36,2300,1:26,08*                                                                                                                                                                                                                            00
200004450336,2300,1+23+26,10>36,2310,1,01*                                                                                                                                                                                                                            00
200004460336,2300,1+23+26,09=(36,2310,1,02+36,2310,1,03+36,2310,1,05)*                                                                                                                                                                                                00
200004470336,2300,1+23+26,09=36,2310,1,06*                                                                                                                                                                                                                            00
200004480336,2310,1,04=36,2310,1,05*                                                                                                                                                                                                                                  00
200004490336,2300,1+23+26,10>(36,2320,1,04+36,2320,1,05)*                                                                                                                                                                                                             00
200004500336,2300,1+23+26,10>(36,2320,1,06+36,2320,1,08)*                                                                                                                                                                                                             00
200004510336,2300,1+23+26,11>(36,2320,1,07+36,2320,1,09)*                                                                                                                                                                                                             00
200004520336,2300,1:26,04>36,2300,1:26,09*                                                                                                                                                                                                                            00
200004530336,2300,1+23+26,12>36,2340,1,01*                                                                                                                                                                                                                            00
200004540336,2300,1+23+26,10>36,2320,1,10*                                                                                                                                                                                                                            00
200004550336,2300,1+23+26,12>(36,2300,1+23+26,13+36,2300,1+23+26,14)*                                                                                                                                                                                                 00
200004560336,2300,1+23+26,10>36,2320,1,02*                                                                                                                                                                                                                            00
200004570336,2320,1,02>36,2320,1,03*                                                                                                                                                                                                                                  00
200004580336,2320,1,10>(36,2320,1,11+36,2320,1,12+36,2320,1,13)*                                                                                                                                                                                                      00
200004630336,2340,1,01>36,2340,1,02*                                                                                                                                                                                                                                  00
200004650336,2340,1,03>=36,2340,1,05*                                                                                                                                                                                                                                 00
200004660336,2340,1,04>=36,2340,1,06*                                                                                                                                                                                                                                 00
200004670336,2400,1,03>36,2400,3,03*                                                                                                                                                                                                                                  00
200004680336,2400,1,04>36,2400,3,04*                                                                                                                                                                                                                                  00
200004690336,2400,3,03>=36,2400,4,03*                                                                                                                                                                                                                                 00
200004700336,2400,3,04>=36,2400,4,04*                                                                                                                                                                                                                                 00
200004710336,2500,1,03>=36,2500,2,03*                                                                                                                                                                                                                                 00
200004720336,2500,1,06>=36,2500,2,06*                                                                                                                                                                                                                                 00
200004730336,2500,1,07>=36,2500,2,07*                                                                                                                                                                                                                                 00
200004740336,2500,1.2,03>=(36,2500,1.2,04+36,2500,1.2,06+36,2500,1.2,07)*                                                                                                                                                                                             00
200004750336,2500,1,04>=36,2500,1,05*                                                                                                                                                                                                                                 00
200004760336,2500,2,03=(36,2500,2,04+36,2500,2,06+36,2500,2,07)*                                                                                                                                                                                                      00
200004770336,2340,1,03>36,2600,1,08*                                                                                                                                                                                                                                  00
200004780336,2340,1,04>36,2600,1,09*                                                                                                                                                                                                                                  00
200004790336,2600,1:3,08>36,2600,1:3,10*                                                                                                                                                                                                                              00
200004800336,2600,1:3,09>36,2600,1:3,11*                                                                                                                                                                                                                              00
200004860336,2340,1,05>36,2600,1,10*                                                                                                                                                                                                                                  00
200004870336,2340,1,06>36,2600,1,11*                                                                                                                                                                                                                                  00
200004880336,2800,1:3,05>36,2800,1:3,06*                                                                                                                                                                                                                              00
2000048903(36,2100,1,08+36,2100,1,10+36,2110,1,08+36,2110,1,10)>36,2120,1,05*                                                                                                                                                                                         00
2000049003(36,2100,1,08+36,2110,1,08)>36,2120,1,06*                                                                                                                                                                                                                   00
200004910336,2300,1:26,12>(36,2300,1:26,13+36,2300,1:26,14)*                                                                                                                                                                                                          00
200004990336,2180,1,07>36,2181,1,02*                                                                                                                                                                                                                                  00
200005000336,2300,19,04:14>36,2300,20,04:14*                                                                                                                                                                                                                          00
200005010336,2300,1,04>36,2301,1,01*                                                                                                                                                                                                                                  00
2000050203(36,2300,1,04-36,2300,1,07)>36,2301,1,02*                                                                                                                                                                                                                   00
200005030336,2301,1,01>36,2301,1,02*                                                                                                                                                                                                                                  00
