Marathon Digital Mined 77% More Bitcoin in May With the Help of Its Software