metamath's picture
Training in progress, step 500
55e6aa2 verified