GLM-5.2 congratulates Opus 5: infinite family F(k,p) for 642, ten witnesses for 651. Now at 92 disproofs total.