720000010313,1000,1,04:11=13,1000,26,04:11*                                                                                                                                                                                                                          00
720000020413,1000,1:9,04=(13,1000,1:9,05+13,1000,1:9,06+13,1000,1:9,07+13,1000,1:9,08+13,1000,1:9,09)*                                                                                                                                                                00
720000030413,1000,1:9,04>13,1000,1:9,10*                                                                                                                                                                                                                              00
720000040413,1000,1:9,04>13,1000,1:9,11*                                                                                                                                                                                                                              00
720000050413,1000,4,04>13,1100,1,01*                                                                                                                                                                                                                                  00
720000060413,1100,1,01>=13,1100,1,03*                                                                                                                                                                                                                                 00
720000070413,1000,4,06>13,1100,1,05*                                                                                                                                                                                                                                  00
720000080413,1000,4,04>13,1101,1,01*                                                                                                                                                                                                                                  00
720000090413,1101,1,01>=13,1101,1,02*                                                                                                                                                                                                                                 00
720000100413,1000,4,05=13,1101,1,03*                                                                                                                                                                                                                                  00
720000110413,1000,4,06>13,1101,1,04*                                                                                                                                                                                                                                  00
720000120413,1000,1,05>=13,1102,1,01*                                                                                                                                                                                                                                 00
720000130413,1000,9,04>13,1104,1,01*                                                                                                                                                                                                                                  00
720000140413,1000,1,04>13,1105,1,01*                                                                                                                                                                                                                                  00
720000150413,1105,1,01>13,1105,1,02*                                                                                                                                                                                                                                  00
720000160413,1105,1,01>13,1105,1,03*                                                                                                                                                                                                                                  00
720000170413,1105,1,01>13,1105,1,04*                                                                                                                                                                                                                                  00
720000180413,1105,1,01>13,1105,1,05*                                                                                                                                                                                                                                  00
720000190413,2000,1:9,04=(13,2000,1:9,05+13,2000,1:9,06+13,2000,1:9,07+13,2000,1:9,08+13,2000,1:9,09)*                                                                                                                                                                00
720000200313,2000,1:9,04>13,2000,1:9,10*                                                                                                                                                                                                                              00
720000210313,2000,1:9,04>13,2000,1:9,11*                                                                                                                                                                                                                              00
720000220313,2000,1,04:11=13,2000,26,04:11*                                                                                                                                                                                                                          00
720000230313,2000,4,04>13,2100,1,01*                                                                                                                                                                                                                                  00
720000240313,2100,1,01>=13,2100,1,02*                                                                                                                                                                                                                                 00
720000250313,2000,4,05>13,2100,1,03*                                                                                                                                                                                                                                  00
720000260313,2000,4,06>13,2100,1,04*                                                                                                                                                                                                                                  00
720000270313,2000,4,04>=13,2101,1,01*                                                                                                                                                                                                                                 00
720000280313,2000,1,10>=(13,2102,1,01+13,2103,1,01)*                                                                                                                                                                                                                  00
720000290313,2000,1,11>=(13,2102,1,02+13,2103,1,02)*                                                                                                                                                                                                                  00
720000300313,2000,1,05>=13,2102,1,01*                                                                                                                                                                                                                                 00
720000310313,2000,9,04>=13,2104,1,01*                                                                                                                                                                                                                                 00
720000320313,2000,1,04>13,2105,1,01*                                                                                                                                                                                                                                  00
720000330313,2105,1,01>13,2105,1,02*                                                                                                                                                                                                                                  00
720000340313,2105,1,01>13,2105,1,03*                                                                                                                                                                                                                                  00
720000350313,2105,1,01>13,2105,1,04*                                                                                                                                                                                                                                  00
720000360313,2105,1,01>13,2105,1,05*                                                                                                                                                                                                                                  00
720000370313,3000,1,01=(13,3000,1,02+13,3000,1,03)*                                                                                                                                                                                                                   00
720000380313,1000,4,06=(13,1100,1,05+13,1101,1,04)*                                                                                                                                                                                                                   00
720000390313,1000,1,10>=13,1102,1,01*                                                                                                                                                                                                                                 00
720000400313,1000,1,05>=13,1102,1,01*                                                                                                                                                                                                                                 00
720000410313,1000,1,05>=13,1102,1,02*                                                                                                                                                                                                                                 00
720000420313,1000,1,06>=13,1103,1,02*                                                                                                                                                                                                                                 00
720000430313,1000,1,11>=13,1102,1,02*                                                                                                                                                                                                                                 00
720000440313,1000,1,11>=13,1103,1,02*                                                                                                                                                                                                                                 00
720000450313,1000,1,06>=13,1103,1,01*                                                                                                                                                                                                                                 00
720000460313,1000,1,10>=13,1103,1,01*                                                                                                                                                                                                                                 00
720000470313,2000,1,05>=13,2102,1,02*                                                                                                                                                                                                                                 00
720000480313,2000,1,06>=13,2103,1,02*                                                                                                                                                                                                                                 00
720000490313,2000,1,06>=13,2103,1,01*                                                                                                                                                                                                                                 00
720000500313,2000,1,10>=13,2102,1,01*                                                                                                                                                                                                                                 00
720000510313,2000,1,11>=13,2102,1,02*                                                                                                                                                                                                                                 00
720000520313,2000,1,10>=13,2103,1,01*                                                                                                                                                                                                                                 00
720000530313,2000,1,11>=13,2103,1,02*                                                                                                                                                                                                                                 00
720000540313,1000,4,04=(13,1100,1,01+13,1101,1,01)*                                                                                                                                                                                                                   00
720000550313,1105,1,01>=(13,1105,1,02+13,1105,1,03+13,1105,1,04+13,1105,1,05)*                                                                                                                                                                                        00
720000560313,2100,1,01>=(13,2100,1,03+13,2100,1,04)*                                                                                                                                                                                                                  00
720000570313,2105,1,01>=(13,2105,1,02+13,2105,1,03+13,2105,1,04+13,2105,1,05)*                                                                                                                                                                                        00
720000580313,1000,1,10>=(13,1102,1,01+13,1103,1,01)*                                                                                                                                                                                                                  00
720000590313,1000,1,11>=(13,1102,1,02+13,1103,1,02)*                                                                                                                                                                                                                  00
720000610313,1100,1,01>=(13,900,1,01-13,900,1,03)*                                                                                                                                                                                                                    00
720000620313,900,1,01>=13,900,1,02*                                                                                                                                                                                                                                   00
720000630313,1100,1,01>=13,1100,1,02*                                                                                                                                                                                                                                 00
720000640313,900,1,01>=13,900,1,03*                                                                                                                                                                                                                                   00
720000650313,900,1,02>=13,1100,1,02*                                                                                                                                                                                                                                  00
