160000302736,2300,1,10+36,2300,23,10=(14,2000,60,04-14,2000,61,04+14,2000,60,22-14,2000,61,22+14,2000,60,08-14,2000,61,08+14,2000,60,28-14,2000,61,28)*                                                                                                               00
160000442736,2180,6,09=(19,2000,61,04+19,2000,61,05)*                                                                                                                                                                                                                 00
1600004627(36,2300,1+23+26,05+36,2300,1+23+26,06)=30,3100,38,08*                                                                                                                                                                                                      00
160000472736,2180,1,09=(19,2000,60,04+19,2000,60,05)*                                                                                                                                                                                                                 00
160000482736,2180,4,09=(19,2000,62,04+19,2000,62,05)*                                                                                                                                                                                                                 00
160000802836,2100,1,08+36,2100,1,10+36,2110,1,08+36,2110,1,10>=10,2000,1,04*                                                                                                                                                                                          00
160000812836,2100,2,08+36,2100,2,10+36,2110,2,08+36,2110,2,10>=10,2000,2,04*                                                                                                                                                                                          00
160000822836,2100,3,08+36,2100,3,10+36,2110,3,08+36,2110,3,10>=10,2000,7+8+9,04*                                                                                                                                                                                      00
160000832836,2100,5,08+36,2100,5,10+36,2110,5,08+36,2110,5,10>=10,2000,15,04*                                                                                                                                                                                         00
160000842836,2100,6,08+36,2100,6,10+36,2110,6,08+36,2110,6,10>=10,2000,22,04*                                                                                                                                                                                         00
160000852836,2100,7,08+36,2100,7,10+36,2110,7,08+36,2110,7,10>=10,2000,24,04*                                                                                                                                                                                         00
1600008628(36,2100,1,10-36,2100,1,11-36,2100,1,12+36,2110,1,10-36,2110,1,11-36,2110,1,12)<=(10,2000,1,04-10,2000,1,06-10,2000,1,07)*                                                                                                                                  00
1600008728(36,2100,2,10-36,2100,2,11-36,2100,2,12+36,2110,2,10-36,2110,2,11-36,2110,2,12)<=(10,2000,2,04-10,2000,2,06-10,2000,2,07)*                                                                                                                                  00
1600008828(36,2100,3,10-36,2100,3,11-36,2100,3,12+36,2110,3,10-36,2110,3,11-36,2110,3,12)<=(10,2000,79,04-10,2000,79,06-10,2000,79,07)*                                                                                                                            00
1600008928(36,2100,5,10-36,2100,5,11-36,2100,5,12+36,2110,5,10-36,2110,5,11-36,2110,5,12)<=(10,2000,15,04-10,2000,15,06-10,2000,15,07)*                                                                                                                               00
1600009028(36,2100,6,10-36,2100,6,11-36,2100,6,12+36,2110,6,10-36,2110,6,11-36,2110,6,12)<=(10,2000,22,04-10,2000,22,06-10,2000,22,07)*                                                                                                                               00
1600009128(36,2100,7,10-36,2100,7,11-36,2100,7,12+36,2110,7,10-36,2110,7,11-36,2110,7,12)<=(10,2000,24,04-10,2000,24,06-10,2000,24,07)*                                                                                                                               00
1600009228(36,2100,1,11+36,2110,1,11)<=10,2000,1,06*                                                                                                                                                                                                                  00
1600009328(36,2100,2,11+36,2110,2,11)<=10,2000,2,06*                                                                                                                                                                                                                  00
1600009428(36,2100,3,11+36,2110,3,11)<=10,2000,79,06*                                                                                                                                                                                                                00
1600009528(36,2100,5,11+36,2110,5,11)<=10,2000,15,06*                                                                                                                                                                                                                 00
1600009628(36,2100,6,11+36,2110,6,11)<=10,2000,22,06*                                                                                                                                                                                                                 00
1600009728(36,2100,7,11+36,2110,7,11)<=10,2000,24,06*                                                                                                                                                                                                                 00
1600009828(36,2100,1,12+36,2110,1,12)<=10,2000,1,07*                                                                                                                                                                                                                  00
1600009928(36,2100,2,12+36,2110,2,12)<=10,2000,2,07*                                                                                                                                                                                                                  00
1600010028(36,2100,3,12+36,2110,3,12)<=10,2000,79,07*                                                                                                                                                                                                                00
1600010128(36,2100,5,12+36,2110,5,12)<=10,2000,15,07*                                                                                                                                                                                                                 00
1600010228(36,2100,6,12+36,2110,6,12)<=10,2000,22,07*                                                                                                                                                                                                                 00
1600010328(36,2100,7,12+36,2110,7,12)<=10,2000,24,07*                                                                                                                                                                                                                 00
160001052836,2120,1,02<=(10,2000,1,07-(10,2000,1,07/'3')+10,2000,1,08+10,2000,1,09+(10,2000,1,10-(10,2000,1,10/'8')))*                                                                                                                                                00
1600010828(36,2100,1,05+36,2110,1,05)=10,3000,1,04*                                                                                                                                                                                                                   00
1600010928(36,2100,2,05+36,2110,2,05)=10,3000,2,04*                                                                                                                                                                                                                   00
1600011028(36,2100,3,05+36,2110,3,05)=10,3000,79,04*                                                                                                                                                                                                                 00
1600011128(36,2100,5,05+36,2110,5,05)=10,3000,15,04*                                                                                                                                                                                                                  00
1600011228(36,2100,7,05+36,2110,7,05)=10,3000,24,04*                                                                                                                                                                                                                  00
160001132836,2100,1:7,05=10,3000,1.2.79.12.15.22.24,12*                                                                                                                                                                                                              00
1600011428(36,2100,1,05-36,2100,1,06-36,2100,1,07+36,2110,1,05-36,2110,1,06-36,2110,1,07)<=(10,3000,1,04-10,3000,1,06-10,3000,1,07)*                                                                                                                                  00
1600011528(36,2100,2,05-36,2100,2,06-36,2100,2,07+36,2110,2,05-36,2110,2,06-36,2110,2,07)<=(10,3000,2,04-10,3000,2,06-10,3000,2,07)*                                                                                                                                  00
1600011628(36,2100,3,05-36,2100,3,06-36,2100,3,07+36,2110,3,05-36,2110,3,06-36,2110,3,07)<=(10,3000,7+8+9,04-10,3000,7+8+9,06-10,3000,7+8+9,07)*                                                                                                                      00
1600011728(36,2100,5,05-36,2100,5,06-36,2100,5,07+36,2110,5,05-36,2110,5,06-36,2110,5,07)<=(10,3000,15,04-10,3000,15,06-10,3000,15,07)*                                                                                                                               00
1600011828(36,2100,7,05-36,2100,7,06-36,2100,7,07+36,2110,7,05-36,2110,7,06-36,2110,7,07)<=(10,3000,24,04-10,3000,24,06-10,3000,24,07)*                                                                                                                               00
160001192836,2110,1:7,05=10,3000,1.2.79.12.15.22.24,13*                                                                                                                                                                                                              00
1600012028(36,2100,1,06+36,2110,1,06)=10,3000,1,06*                                                                                                                                                                                                                   10
1600012128(36,2100,2,06+36,2110,2,06)=10,3000,2,06*                                                                                                                                                                                                                   10
1600012228(36,2100,3,06+36,2110,3,06)=10,3000,7+8+9,06*                                                                                                                                                                                                               10
1600012328(36,2100,4,06+36,2110,4,06)=10,3000,12,06*                                                                                                                                                                                                                  10
1600012428(36,2100,5,06+36,2110,5,06)=10,3000,15,06*                                                                                                                                                                                                                  10
1600012528(36,2100,7,06+36,2110,7,06)=10,3000,24,06*                                                                                                                                                                                                                  10
1600012628(36,2100,1,07+36,2110,1,07)=10,3000,1,07*                                                                                                                                                                                                                   10
1600012728(36,2100,2,07+36,2110,2,07)=10,3000,2,07*                                                                                                                                                                                                                   10
1600012828(36,2100,3,07+36,2110,3,07)=10,3000,7+8+9,07*                                                                                                                                                                                                               10
1600012928(36,2100,4,07+36,2110,4,07)=10,3000,12,07*                                                                                                                                                                                                                  10
1600013028(36,2100,5,07+36,2110,5,07)=10,3000,15,07*                                                                                                                                                                                                                  10
1600013128(36,2100,7,07+36,2110,7,07)=10,3000,24,07*                                                                                                                                                                                                                  10
160001322736,2100,1.2.3.4.5.6.7,10=10,2000,1.2.79.12.15.22.24,12*                                                                                                                                                                                                    10
160001332736,2110,1.2.3.4.5.6.7,10=10,2000,1.2.79.12.15.22.24,13*                                                                                                                                                                                                    10
160001342736,2100,1.2.3.4.5.6.7,05=10,3000,1.2.79.12.15.22.24,12*                                                                                                                                                                                                    00
160001352736,2110,1.2.3.4.5.6.7,05=10,3000,1.2.79.12.15.22.24,13*                                                                                                                                                                                                    00
1600013627(36,2100,4,08+36,2100,4,10+36,2110,4,08+36,2110,4,10)>=10,2000,12,04*                                                                                                                                                                                       00
1600013727(36,2100,4,10-36,2100,4,11-36,2100,4,12)+(36,2110,4,10-36,2110,4,11-36,2110,4,12)<=(10,2000,12,04-10,2000,12,06-10,2000,12,07)*                                                                                                                             00
160001382736,2100,4,11+36,2110,4,11<=10,2000,12,06*                                                                                                                                                                                                                   00
160001392736,2100,4,12+36,2110,4,12<=10,2000,12,07*                                                                                                                                                                                                                   00
160001402736,2100,4,05+36,2110,4,05<=10,3000,12,04*                                                                                                                                                                                                                   00
160001422736,2100,7,05+36,2110,7,05<=10,3000,24,04*                                                                                                                                                                                                                   00
1600014327(36,2100,4,05-36,2100,4,06-36,2100,4,07)+(36,2110,4,05-36,2110,4,06-36,2110,4,07)=(10,3000,12,04-10,3000,12,06-10,3000,12,07)*                                                                                                                              10
160001442736,2100,6,06+36,2110,6,06=10,3000,22,06*                                                                                                                                                                                                                    00
160001452736,2100,6,07+36,2110,6,07=10,3000,22,07*                                                                                                                                                                                                                    00
160001462736,2600,1,04=(141,2000,37,04+141,2000,38,06+141,2000,37,16+141,2000,38,18)*                                                                                                                                                                                 00
160001472736,2600,1,05=(141,2000,37,07+141,2000,37+38,09+141,2000,37,19+141,2000,37+38,21)*                                                                                                                                                                           00
160001482736,2600,1,07=(141,2000,37,11+141,2000,37+38,13+141,2000,37,23+141,2000,37+38,25)*                                                                                                                                                                           00
160004001236,2300,1,04>360,2200,5,04*                                                                                                                                                                                                                                 00
160004011236,2300,1,05+36,2300,1,06>360,2200,5,05*                                                                                                                                                                                                                    00
160004021236,2300,1,08>360,2200,5,06*                                                                                                                                                                                                                                 00
160004031236,2300,1,10>360,2200,5,10*                                                                                                                                                                                                                                 00
160004041236,2300,1,11>360,2200,5,11*                                                                                                                                                                                                                                 00
160004051236,2300,1,12>360,2200,5,14*                                                                                                                                                                                                                                 00
160004061236,2300,1,13+36,2300,1,14>360,2200,5,15*                                                                                                                                                                                                                    00
160004071236,2300,2,04>360,2200,1,04*                                                                                                                                                                                                                                 00
160004081236,2300,2,05+36,2300,2,06>360,2200,1,05*                                                                                                                                                                                                                    00
160004091236,2300,2,08>360,2200,1,06*                                                                                                                                                                                                                                 00
160004101236,2300,2,10>360,2200,1,10*                                                                                                                                                                                                                                 00
160004111236,2300,2,11>360,2200,1,11*                                                                                                                                                                                                                                 00
160004121236,2300,2,12>360,2200,1,14*                                                                                                                                                                                                                                 00
160004131236,2300,2,13+36,2300,2,14>360,2200,1,15*                                                                                                                                                                                                                    00
160004141236,2300,6+7+8,04>360,2200,2,04*                                                                                                                                                                                                                             00
160004151236,2300,6+7+8,05+36,2300,3+4+5,06>360,2200,2,05*                                                                                                                                                                                                            00
160004161236,2300,6+7+8,08>360,2200,2,06*                                                                                                                                                                                                                             00
160004171236,2300,6+7+8,10>360,2200,2,10*                                                                                                                                                                                                                             00
160004181236,2300,6+7+8,11>360,2200,2,11*                                                                                                                                                                                                                             00
160004191236,2300,6+7+8,12>360,2200,2,14*                                                                                                                                                                                                                             00
160004201236,2300,6+7+8,13+36,2300,3+4+5,14>360,2200,2,15*                                                                                                                                                                                                            00
160004211236,2300,14,04>360,2200,3,04*                                                                                                                                                                                                                                00
160004221236,2300,14,05+36,2300,14,06>360,2200,3,05*                                                                                                                                                                                                                  00
160004231236,2300,14,08>360,2200,3,06*                                                                                                                                                                                                                                00
160004241236,2300,14,10>360,2200,3,10*                                                                                                                                                                                                                                00
160004251236,2300,14,11>360,2200,3,11*                                                                                                                                                                                                                                00
160004261236,2300,14,12>360,2200,3,14*                                                                                                                                                                                                                                00
160004271236,2300,14,13+36,2300,14,14>360,2200,3,15*                                                                                                                                                                                                                  00
160004281236,2300,23,04>360,2200,6,04*                                                                                                                                                                                                                                00
160004291236,2300,23,05+36,2300,23,06>360,2200,5,05*                                                                                                                                                                                                                  00
160004301236,2300,23,08>360,2200,6,06*                                                                                                                                                                                                                                00
160004311236,2300,23,10>360,2200,6,10*                                                                                                                                                                                                                                00
160004321236,2300,23,11>360,2200,6,11*                                                                                                                                                                                                                                00
160004331236,2300,23,12>360,2200,6,14*                                                                                                                                                                                                                                00
160004341236,2300,23,13+36,2300,23,14>360,2200,6,15*                                                                                                                                                                                                                  00
160004351236,2300,22,04>360,2200,4,04*                                                                                                                                                                                                                                00
160004361236,2300,22,05+36,2300,22,06>360,2200,4,05*                                                                                                                                                                                                                  00
160004371236,2300,22,08>360,2200,4,06*                                                                                                                                                                                                                                00
160004381236,2300,22,10>360,2200,4,10*                                                                                                                                                                                                                                00
160004391236,2300,22,11>360,2200,4,11*                                                                                                                                                                                                                                00
160004401236,2300,22,12>360,2200,4,14*                                                                                                                                                                                                                                00
160004411236,2300,22,13+36,2300,22,14>360,2200,4,15*                                                                                                                                                                                                                  00
160004421236,2300,24,04>360,2200,7,04*                                                                                                                                                                                                                                00
160004431236,2300,24,05+36,2300,24,06>360,2200,7,05*                                                                                                                                                                                                                  00
160004441236,2300,24,08>360,2200,7,06*                                                                                                                                                                                                                                00
160004451236,2300,24,10>360,2200,7,10*                                                                                                                                                                                                                                00
160004461236,2300,24,11>360,2200,7,11*                                                                                                                                                                                                                                00
160004471236,2300,24,12>360,2200,7,14*                                                                                                                                                                                                                                00
160004481236,2300,24,13+36,2300,24,14>360,2200,7,15*                                                                                                                                                                                                                  00
160004491236,2340,1,02=(360,2230,1,02+360,2230,1,03+360,2230,1,04+360,2230,1,05)*                                                                                                                                                                                     00
640001772736,2100,1,04=12,1000,60-61,08+12,2000,60-61,08+12,3000,60-61,08*                                                                                                                                                                                            00
640001792736,2100,1,05=12,1000,60-61,10+12,2000,60-61,10+12,3000,60-61,10*                                                                                                                                                                                            00
640001802736,2100,1,08=12,1000,60-61,14+12,2000,60-61,14+12,3000,60-61,14*                                                                                                                                                                                            00
640001892736,2100,1,06=12,1000,60-61,10*                                                                                                                                                                                                                              00
640001902736,2100,1,07=12,2000,60-61,10*                                                                                                                                                                                                                              00
6400019127(36,2100,1,05-36,2100,1,06-36,2100,1,07)=12,3000,60-61,10*                                                                                                                                                                                                  00
640001922736,2100,1,11=12,1000,60-61,15*                                                                                                                                                                                                                              00
640001932736,2100,1,12=12,2000,60-61,15*                                                                                                                                                                                                                              00
6400019427(36,2100,1,10-36,2100,1,11-36,2100,1,12)=12,3000,60-61,15*                                                                                                                                                                                                  00
640001952736,2100,1,10=(12,1000,60-61,15+12,2000,60-61,15+12,3000,60-61,15)*                                                                                                                                                                                          00
