. "halving agreement"@en . "3"^^ . . . . . . .