metamath's picture
Training in progress, step 500
03605e9 verified