metamath's picture
Training in progress, step 500
b5832e8 verified