蚂蚁集团递交招股文件,上半年营收725.28亿元净利润212.34亿元