LB        BEST-KNOWN
5982      6000      
5947      5997      
5965      5994      
5963      5994      
5982      6009      
5962      5992      
5988      6010      
5958      5998      
5955      5983      
5969      5991      
5962      5999      
5957      5990      
5958      6000      
5976      6005      
5973      5999      
5966      5987      
5938      5993      
5946      5996      
5965      5978      
5967      5990      
5968      6001      
5942      5987      
5985      6008      
5943      5989      
5954      6010      
5982      6007      
5963      6008      
5959      5986      
5972      6009      
5946      5999      
5974      5997      
5959      5995      
5958      5999      
5981      6004      
5932      5983      
6010      6019      
5961      5989      
5956      5985      
5985      5999      
5970      5988      
6012      6030      
5925      5971      
5951      5983      
5974      6000      
5993      6007      
5988      6006      
5966      5989      
5988      6015      
5983      5997      
5973      6003      
5974      6006      
5923      5976      
5960      5999      
5938      5982      
5952      6002      
5965      6004      
5974      6015      
5967      5993      
6004      6017      
5992      6005      
5994      6007      
5965      5982      
6000      6014      
5970      6005      
5956      6001      
5951      5997      
5967      5998      
5945      5997      
5936      5985      
5982      6010      
5951      6000      
5979      5994      
5939      5976      
5958      5998      
5964      6005      
6009      6027      
5977      5996      
5958      6002      
5970      5998      
5961      5981      
5990      6013      
5932      5970      
5965      5997      
5957      5983      
5967      6004      
5955      6002      
5949      5984      
5963      5996      
5965      6004      
5998      6006      
5959      5993      
5946      5980      
5966      6007      
5960      5995      
5980      6002      
5986      6021      
5963      5988      
5971      6007      
5950      5981      
5925      5977      
