XiangShanV3 (Kuminghu) LUT4 benchmark