nacysfe lujvo

x1 is the "amount" face of coin x2; x1 is coin x2's reverse or tails side.