relfasnu lujvo

x1 is binary.