200010000237,2100,11,04:11=37,2100,1+2+610,04:11*                                                                                                                                                                                                                    10
200010030437,2100,1:11,04>37,2100,1:11,05*                                                                                                                                                                                                                            00
200010040437,2100,1:11,06>37,2100,1:11,07*                                                                                                                                                                                                                            00
200010050437,2100,1:11,08>37,2100,1:11,09*                                                                                                                                                                                                                            00
200010060437,2100,1:11,08>37,2100,1:11,10+37,2100,1:11,11*                                                                                                                                                                                                            00
200010070437,2100,2,04:11=37,2100,35,04:11*                                                                                                                                                                                                                          00
200010080437,2100,1+2+6+7,08>37,2100,8+9+10,08*                                                                                                                                                                                                                       00
200010090437,2100,6,06+37,2100,6,08>37,2140,1,01*                                                                                                                                                                                                                     00
200010100437,2100,7,06+37,2100,7,08>37,2140,1,02*                                                                                                                                                                                                                     00
200010110437,2100,9,06+37,2100,9,08>37,2140,1,03*                                                                                                                                                                                                                     00
200010120437,2100,10,06+37,2100,10,08>37,2140,1,04*                                                                                                                                                                                                                   00
200010130437,2100,11,06+37,2100,11,08>37,2150,1,03*                                                                                                                                                                                                                   00
200010140437,2100,1+2,06+37,2100,1+2,08>37,2160,1,03*                                                                                                                                                                                                                 00
200010150437,2100,6,06+37,2100,6,08>37,2160,2,03*                                                                                                                                                                                                                     00
200010160437,2100,7,06+37,2100,7,08>37,2160,3,03*                                                                                                                                                                                                                     00
200010170437,2100,810,06+37,2100,810,08>37,2160,4,03*                                                                                                                                                                                                               00
200010180437,2100,11,06+37,2100,11,08>37,2160,5,03*                                                                                                                                                                                                                   00
200010190137,2100,11,04>37,2170,4,03*                                                                                                                                                                                                                                 00
200010200137,2100,1+2,04>37,2170,1,03*                                                                                                                                                                                                                                00
200010210137,2100,6,04>37,2170,2,03*                                                                                                                                                                                                                                  00
200010220137,2100,7,04>37,2170,3,03*                                                                                                                                                                                                                                  00
200010230137,2100,11,08>37,2170,4,11*                                                                                                                                                                                                                                 00
200010240137,2100,1+2,08>37,2170,1,11*                                                                                                                                                                                                                                00
200010250137,2100,6,08>37,2170,2,11*                                                                                                                                                                                                                                  00
200010260137,2100,7,08>37,2170,3,11*                                                                                                                                                                                                                                  00
200010270437,2101,1,01=(37,2101,1,02+37,2101,1,04+37,2101,1,05)*                                                                                                                                                                                                      10
200010280437,2101,1,02>37,2101,1,03*                                                                                                                                                                                                                                  00
200010290437,2102,1,02=(37,2102,1,03+37,2102,1,04+37,2102,1,05)*                                                                                                                                                                                                      10
200010300437,2102,1,08=37,2102,1,01+37,2102,1,02+37,2102,1,06+37,2102,1,07*                                                                                                                                                                                           10
200010310437,2102,1,06=37,2110,1,01+37,2110,1,02+37,2110,1,03+37,2110,1,04+37,2110,1,05+37,2110,1,06+37,2110,1,07*                                                                                                                                                    10
200010350437,2150,1,03=37,2150,1,04+37,2150,1,06+37,2150,1,07+37,2150,1,08+37,2150,1,09+37,2150,1,10*                                                                                                                                                                 10
200010370437,2160,5,03:08=37,2160,14,03:08*                                                                                                                                                                                                                          10
200010380437,2160,1:5,03=37,2160,1:5,04+37,2160,1:5,05+37,2160,1:5,06+37,2160,1:5,07*                                                                                                                                                                                 10
200010390337,2320,1:5,06>37,2160,1:5,08*                                                                                                                                                                                                                              00
200010400137,2170,1:4,06=37,2170,1:4,07+37,2170,1:4,09+37,2170,1:4,10*                                                                                                                                                                                                10
200010410437,2170,4,03:11=37,2170,13,03:11*                                                                                                                                                                                                                          10
200010420437,2170,1:4,07>37,2170,1:4,08*                                                                                                                                                                                                                              00
200010430437,2170,1:4,03=(37,2170,1:4,04+37,2170,1:4,05)*                                                                                                                                                                                                             10
200010440337,2200,1:3,04=(37,2200,1:3,10+37,2200,1:3,11+37,2200,1:3,12+37,2200,1:3,13)*                                                                                                                                                                               10
200010450437,2200,4,04=(37,2200,4,11+37,2200,4,12)*                                                                                                                                                                                                                   10
200010460137,2200,1,03:13>37,2200,2,03:13*                                                                                                                                                                                                                            00
200010470337,2200,1:4,07>37,2200,1:4,09*                                                                                                                                                                                                                              00
200010480137,2200,1:2,04>=(37,2200,1:2,05+37,2200,1:2,06+37,2200,1:2,08)*                                                                                                                                                                                             00
200010490437,2200,3:4,04=37,2200,3:4,06+37,2200,3:4,08*                                                                                                                                                                                                               00
200010500137,2200,2,04=37,2200,2,07*                                                                                                                                                                                                                                  00
200010510137,2200,2,08=37,2200,2,09*                                                                                                                                                                                                                                  00
200010630437,2210,1:6,05=(37,2210,1:6,06+37,2210,1:6,07+37,2210,1:6,09+37,2210,1:6,10)*                                                                                                                                                                               10
200010640337,2210,1:6,05>37,2210,1:6,06*                                                                                                                                                                                                                              00
200010650437,2210,1:6,07>37,2210,1:6,08*                                                                                                                                                                                                                              00
200010690437,2300,18,04:13=37,2300,1+2+6+7+8+1417,04:13*                                                                                                                                                                                                             10
200010700437,2300,2,04:13=37,2300,35,04:13*                                                                                                                                                                                                                          00
200010710437,2300,8,04:13=37,2300,913,04:13*                                                                                                                                                                                                                         10
200010730437,2300,18,04:13>37,2300,22,04:13*                                                                                                                                                                                                                          00
200010740437,2300,1+2+15,04:13>37,2300,19,04:13*                                                                                                                                                                                                                      00
200010750437,2300,6+8+16,04:13>37,2300,20,04:13*                                                                                                                                                                                                                      00
200010760437,2300,7+14+17,04:13>37,2300,21,04:13*                                                                                                                                                                                                                     00
200010770437,2300,6+8+16,04:13>37,2300,23,04:13*                                                                                                                                                                                                                      00
200010780437,2300,1:23,04>37,2300,1:23,05*                                                                                                                                                                                                                            00
200010790437,2300,1:23,04>(37,2300,1:23,06+37,2300,1:23,07)*                                                                                                                                                                                                          00
200010800437,2300,1:23,04>37,2300,1:23,08*                                                                                                                                                                                                                            00
200010810437,2300,1:23,08>37,2300,1:23,09*                                                                                                                                                                                                                            00
200010870337,2300,23,04>=37,2301,3,03*                                                                                                                                                                                                                                00
200010880337,2300,23,04>=37,2301,3,05*                                                                                                                                                                                                                                00
200010890437,2300,23,04>=37,2301,3,07*                                                                                                                                                                                                                                00
200010900437,2300,18,04>=37,2301,5,03*                                                                                                                                                                                                                                00
200010910437,2300,18,04>=37,2301,5,07*                                                                                                                                                                                                                                00
200010920437,2300,18,04>=37,2301,5,05*                                                                                                                                                                                                                                00
200010930437,2300,1+2+15,04>37,2301,1,03*                                                                                                                                                                                                                             00
200010940437,2300,6+8+16,04>37,2301,2,03*                                                                                                                                                                                                                             00
200010950437,2300,7+14+17,04>37,2301,4,03*                                                                                                                                                                                                                            00
200010960437,2300,1+2+15,04>37,2301,1,05*                                                                                                                                                                                                                             00
200010970437,2300,6+8+16,04>37,2301,2,05*                                                                                                                                                                                                                             00
200010980437,2300,7+14+17,04>37,2301,4,05*                                                                                                                                                                                                                            00
200010990437,2300,1+2+15,04>37,2301,1,07*                                                                                                                                                                                                                             00
200011000437,2300,6+8+16,04>37,2301,2,07*                                                                                                                                                                                                                             00
200011010437,2300,7+14+17,04>37,2301,4,07*                                                                                                                                                                                                                            00
200011020437,2300,18+22,04>=(37,2310,1,01+37,2310,1,02+37,2310,1,07+37,2310,1,08)*                                                                                                                                                                                    00
200011030437,2300,18,10>37,2320,5,03*                                                                                                                                                                                                                                 00
200011040437,2300,1+2,10>37,2320,1,03*                                                                                                                                                                                                                                00
200011050437,2300,6+8,10>37,2320,2,03*                                                                                                                                                                                                                                00
200011060437,2300,7+14,10>37,2320,3,03*                                                                                                                                                                                                                               00
200011070437,2300,15+16+17,10>37,2320,4,03*                                                                                                                                                                                                                           00
200011080437,2300,18,10>37,2330,1,03*                                                                                                                                                                                                                                 00
200011090437,2300,18,12>37,2330,2,03*                                                                                                                                                                                                                                 00
200011100437,2301,5,03:08=37,2301,1+2+4,03:08*                                                                                                                                                                                                                        10
200011110437,2301,2,03:08>37,2301,3,03:08*                                                                                                                                                                                                                            00
200011120437,2301,1:5,03>37,2301,1:5,04*                                                                                                                                                                                                                              00
200011130437,2301,1:5,05>37,2301,1:5,06*                                                                                                                                                                                                                              00
200011140437,2301,1:5,07>37,2301,1:5,08*                                                                                                                                                                                                                              00
200011150437,2310,1,02=(37,2310,1,03+37,2310,1,04+37,2310,1,05+37,2310,1,06)*                                                                                                                                                                                         00
200011160437,2320,5,03:08=37,2320,14,03:08*                                                                                                                                                                                                                          10
200011170437,2320,1:5,03=(37,2320,1:5,04+37,2320,1:5,07+37,2320,1:5,08)*                                                                                                                                                                                              10
200011180437,2320,1:5,04>37,2320,1:5,06*                                                                                                                                                                                                                              00
200011200437,2330,1:2,03=(37,2330,1:2,04+37,2330,1:2,05+37,2330,1:2,06+37,2330,1:2,07+37,2330,1:2,08+37,2330,1:2,09)*                                                                                                                                                 10
200011220437,2400,1+2,03>=37,2700,1+2+3,07*                                                                                                                                                                                                                           00
200011240437,2500,1:4,03=(37,2500,1:4,04+37,2500,1:4,05+37,2500,1:4,06+37,2500,1:4,07+37,2500,1:4,08)*                                                                                                                                                                10
200011250437,2500,1,03:08=37,2500,3,03:08*                                                                                                                                                                                                                            10
200011270437,2500,3,03:08>37,2500,4,03:08*                                                                                                                                                                                                                            00
200011280437,2600,1,01=(37,2600,1,02+37,2600,1,04+37,2600,1,05)*                                                                                                                                                                                                      10
200011290437,2600,1,02>37,2600,1,03*                                                                                                                                                                                                                                  00
200011300437,2700,1:3,04>37,2700,1:3,03*                                                                                                                                                                                                                              00
200011310437,2700,1:3,04=37,2700,1:3,05*                                                                                                                                                                                                                              00
200011320437,2700,1+2+3,05=37,2320,5,03*                                                                                                                                                                                                                              00
200011330337,2800,2+3+4,03:13=37,2800,1,03:13*                                                                                                                                                                                                                        10
200011340337,2800,1,05=(37,2800,1,06+37,2800,1,07+37,2800,1,08+37,2800,1,09+37,2800,1,10+37,2800,1,11+37,2800,1,12+37,2800,1,13)*                                                                                                                                     10
200011350337,2800,2,05=(37,2800,2,06+37,2800,2,07+37,2800,2,08+37,2800,2,09+37,2800,2,10+37,2800,2,11+37,2800,2,12+37,2800,2,13)*                                                                                                                                     10
200011360337,2800,3,05=(37,2800,3,06+37,2800,3,07+37,2800,3,08+37,2800,3,09+37,2800,3,10+37,2800,3,11+37,2800,3,12+37,2800,3,13)*                                                                                                                                     10
200011370337,2800,4,05=(37,2800,4,06+37,2800,4,07+37,2800,4,08+37,2800,4,09+37,2800,4,10+37,2800,4,11+37,2800,4,12+37,2800,4,13)*                                                                                                                                     10
200011380337,2800,1,03>37,2800,1,05*                                                                                                                                                                                                                                  00
200011390337,2800,2,03>37,2800,2,05*                                                                                                                                                                                                                                  00
200011400337,2800,3,03>37,2800,3,05*                                                                                                                                                                                                                                  00
200011410337,2800,4,03>37,2800,4,05*                                                                                                                                                                                                                                  00
