kazrybitnrkrati lujvo

x1 is (one sense)/represents (different sense) a qubit with x2 eigenstates, where eigenstates x3 (ordered list) respectively correspond to bit states x4 (ordered list with as many entries as x3)

x3 probably has a multiple of x2 entries.