6400010427(13,1000,1,04+13,2000,1,04)>=14,4000,146,03*                                                                                                                                                                                                                00
6400010527(13,1000,1,05+13,2000,1,05)>=14,4000,146,04*                                                                                                                                                                                                                00
6400010627(13,1000,1,06+13,2000,1,06)>=14,4000,146,06*                                                                                                                                                                                                                00
6400010727(13,1000,7,04+13,2000,7,04)>=14,4000,141,03*                                                                                                                                                                                                                00
6400010827(13,1000,7,05+13,2000,7,05)>=14,4000,141,04*                                                                                                                                                                                                                00
6400010927(13,1000,7,06+13,2000,7,06)>=14,4000,141,06*                                                                                                                                                                                                                00
6400011027(13,1105,1,01+13,2105,1,01)>=14,4000,146,11*                                                                                                                                                                                                                00
6400011127(13,1000,7,04+13,2000,7,04)>14,4000,141,19*                                                                                                                                                                                                                 00
640001122713,3000,1,01>=14,4000,146,19*                                                                                                                                                                                                                               00
6400011327(13,1000,1,11+13,2000,1,11+13,1000,7,11+13,2000,7,11+13,1000,8,11+13,2000,8,11)=(61,5000,1-2,03-61,2000,24,17)*                                                                                                                                             00
640001142713,3000,1,01<=14,2000,160,08*                                                                                                                                                                                                                               00
640001152713,3000,1,01<=232,100,91,04*                                                                                                                                                                                                                                00
640001162713,2000,4,04>=32,2120,1,20*                                                                                                                                                                                                                                 00
640001172713,3000,1,03<=14,4000,146,19*                                                                                                                                                                                                                               00
640001182713,3000,1,02<=14,4000,146,19*                                                                                                                                                                                                                               00
6400011927(13,3000,1,02+13,3000,1,03)<=14,4000,146,19*                                                                                                                                                                                                                00
640001202713,3000,1,01>=14,4000,146,20*                                                                                                                                                                                                                               00
640001212713,3000,1,01>=14,4000,146,22*                                                                                                                                                                                                                               00
640001222713,3000,1,01>=(14,4000,146,20 + 14,4000,146,22)*                                                                                                                                                                                                            00
6400012327(13,1000,1,09+13,2000,1,09)>=(161,1000,52,14 +161,1000,52,15+161,1000,52,16)*                                                                                                                                                                               00
