
$n_1 = (3n_0 + 1)/8$
