-
Notifications
You must be signed in to change notification settings - Fork 0
/
generate_mub_circuits.py
105 lines (83 loc) · 34.9 KB
/
generate_mub_circuits.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
import qiskit
from src.htstabilizer.mub_circuits import get_mub_circuits, get_mubs
from src.htstabilizer.stabilizer_circuits import *
def parse_mub(spec: str):
mub = []
sets = [s.strip("{}") for s in spec.split("},{")]
# n = len(sets[0].split(",")[0])
for set in sets:
mub.append(Stabilizer(set.split(",")))
return mub
def to_circ_spec(circuit: QuantumCircuit) -> str:
string = ""
for instruction in circuit:
op = instruction.operation
string += op.name + ",".join([str(circuit.find_bit(qubit)[0]) for qubit in instruction.qubits])
assert len(op.params) == 0
string += " "
return string
def optimize6qubitMubCircuits():
circuits = get_mub_circuits(6, "all")
mubs = get_mubs(6, "all")
lines = []
for set, circuit in zip(mubs, circuits):
circuit = qiskit.transpile(circuit, basis_gates=["h", "s", "sdg", "cx", "cz"], optimization_level=3)
ops = str(set)
ops = ops[ops.find("[") + 1:ops.find("]")].replace('"', "")
line = f"{ops}:{to_circ_spec(circuit)}"
lines.append(line)
with open(f"src/htstabilizer/data/mub6-all.txt", "w") as file:
file.write("\n".join(lines))
# optimize6qubitMubCircuits()
def write_mub_circuit_file(spec: str, connectivity: str):
mub = parse_mub(spec)
num_qubits = mub[0].num_qubits
circuits = []
for set in mub:
circuit = get_readout_circuit(set, connectivity)
circuit = qiskit.transpile(circuit, basis_gates=["h", "s", "sdg", "cx", "cz"], optimization_level=3)
circuits.append(circuit)
print(circuit)
lines = []
total_cost = 0
max_cost = 0
max_depth = 0
for set, circuit in zip(mub, circuits):
cx_circuit = qiskit.transpile(circuit, basis_gates=["cx", "h", "s"])
cost = cx_circuit.count_ops().get("cx", 0)
max_cost = max(max_cost, cost)
max_depth = max(max_depth, cx_circuit.depth(lambda instr: instr.operation.name == "cx"))
total_cost += cost
ops = str(set)
ops = ops[ops.find("[") + 1:ops.find("]")].replace('"', "")
line = f"{ops}:{to_circ_spec(circuit)}".replace("'", "")
lines.append(line)
info_line = f"{total_cost}:{max_cost}:{max_depth}"
lines.insert(0, info_line)
print(lines)
with open(f"src/htstabilizer/data/mub{num_qubits}-{connectivity}.txt", "w") as file:
file.write("\n".join(lines))
# write_mub_circuit_file("{{IZYII,IIIIZ,IIIZI,YIYII,IZIIZ},{XZZII,ZYZII,ZZYII,IIIXI,IIIIX},{XIXII,ZYZIZ,ZZYZI,YIYXI,IZIIY},{XZZIZ,ZYZZI,XZIII,IZIXZ,IZYZX},{XZZZI,XYXII,ZIYIZ,IZYYI,YIYIY},{ZZXII,ZXZIZ,ZIIZI,YIYXZ,IZIZY},{XIZIZ,ZXXZI,XZIIZ,IZIYZ,YZIZX},{XIXZI,XYXIZ,ZIYZZ,YZIYI,YZYIX},{ZZXIZ,ZXZZZ,XIYZI,YZYXI,IIYIY},{XIZZZ,XXZZI,XIIII,IIYXZ,IZYZY},{ZIZZI,XXXII,ZZIIZ,IZYYZ,YIYZY},{ZIXII,ZYXIZ,ZIIZZ,YIYYZ,YZYZY},{XZXIZ,ZXXZZ,XZIZZ,YZYYZ,YIIZY},{XIXZZ,XYXZZ,XIIZZ,YIIYZ,YIIZX},{ZZXZZ,XXXZZ,XZYZZ,YIIYI,YIIIX},{ZIXZZ,XYZZZ,XZYZI,YIIXI,IIYIX},{ZZZZZ,XYZZI,XZYII,IIYXI,IZYIY},{ZZZZI,XYZII,ZZIII,IZYXZ,IIIZY},{ZZZII,ZYXII,ZIIIZ,IIIYZ,YIYZX},{XZXII,ZXXIZ,ZZYZZ,YIYYI,YZYIY},{XIXIZ,ZYZZZ,XZIZI,YZYXZ,IIYZY},{XZZZZ,XYXZI,XIIIZ,IIYYZ,YZIZY},{ZZXZI,XXXIZ,ZZIZZ,YZIYZ,YZYZX},{ZIXIZ,ZYXZZ,XIYZZ,YZYYI,YIIIY},{XZXZZ,XXZZZ,XIIZI,YIIXZ,IIYZX},{ZIZZZ,XXXZI,XZYIZ,IIYYI,YZIIY},{ZIXZI,XYZIZ,ZZIZI,YZIXZ,IZIZX},{ZZZIZ,ZYXZI,XIYIZ,IZIYI,YZIIX},{XZXZI,XXZIZ,ZIYZI,YZIXI,IZIIX},{ZIZIZ,ZXZZI,XIYII,IZIXI,IZYIX},{XIZZI,XXZII,ZIYII,IZYXI,IIIIY},{ZIZII,ZXZII,ZIIII,IIIXZ,IIIZX},{XIZII,ZXXII,ZZYIZ,IIIYI,YIYIX}}", "linear")
# assert False
# write_mub_circuit_file("{{XX,YY},{XZ,YX},{ZX,ZI},{XY,XI},{YZ,YI}}", "all")
# write_mub_circuit_file("{{XZX,YZY,IZI},{ZZX,YYX,IIX},{YII,IXZ,IZX},{XIZ,YXX,ZIY},{ZIX,XYY,YIZ},{IZY,IYZ,ZZY},{XZZ,XXY,XII},{IIY,ZYI,XZI},{YZI,ZXI,YZZ}}", "all")
# write_mub_circuit_file("{{ZZI,IIZ,IZI},{XII,XYI,IIX},{YZI,XYZ,IZX},{XIZ,XXI,ZZY},{XZI,YXZ,IZY},{YZZ,XXZ,ZIY},{XZZ,YYZ,ZIX},{YIZ,YYI,ZZX},{YII,YXI,IIY}}", "linear")
# write_mub_circuit_file("{{XZYY,YZYX,ZZXI,IZII},{ZIIY,ZYYI,ZZZI,YZYZ},{YZYI,XXIX,IIYI,YIYZ},{XZYZ,IXZI,ZIZI,XZYI},{IZXY,ZXYI,IZZZ,ZZXY},{ZZIY,IYYZ,YZIX,XZZZ},{IIIX,YYXX,IZYI,XIYI},{YIZZ,IYZI,IIZZ,IZXX},{IIXY,IXYZ,XZIY,IZIY},{IZIX,XYXY,XZXX,YIZI},{XIZI,XYIX,ZIYZ,ZIXY},{XIYZ,ZXZZ,YIIX,YZZI},{ZZXX,YXXX,ZZYZ,IIXX},{YZZZ,ZYZZ,XIIY,ZZIX},{ZIXX,XXXY,YZXY,ZIIX},{XZZI,YYIY,YIXY,IIIY},{YIYI,YXIY,XIXX,XIZZ}}", "all")
# write_mub_circuit_file("{{ZZII,IIIZ,IIZI,IZII},{XIII,XYII,IIXI,IIIX},{YZII,XYIZ,IIYI,IZIX},{XIIZ,XYZI,IZXI,ZZIY},{XIZI,XXII,ZZXZ,IIZY},{XZII,YXIZ,IIYZ,IZZX},{YZIZ,XYZZ,IZYI,ZIIY},{XIZZ,XXZI,ZIXZ,ZZZX},{XZZI,YYIZ,ZZYI,IZIY},{YIIZ,YXZI,IZXZ,ZZZY},{YZZI,XXIZ,ZZYZ,IZZY},{XZIZ,YXZZ,IZYZ,ZIZY},{YZZZ,XXZZ,ZIYZ,ZIZX},{XZZZ,YYZZ,ZIYI,ZIIX},{YIZZ,YYZI,ZIXI,ZZIX},{YIZI,YYII,ZZXI,IIIY},{YIII,YXII,IIXZ,IIZX}}", "linear")
# write_mub_circuit_file("{{ZZII,IIIZ,IIZI,IZII},{XIII,XYII,IIXI,IIIX},{YZII,XYIZ,IIYI,IZIX},{XIIZ,XYZI,IZXI,ZZIY},{XIZI,XXII,ZZXZ,IIZY},{XZII,YXIZ,IIYZ,IZZX},{YZIZ,XYZZ,IZYI,ZIIY},{XIZZ,XXZI,ZIXZ,ZZZX},{XZZI,YYIZ,ZZYI,IZIY},{YIIZ,YXZI,IZXZ,ZZZY},{YZZI,XXIZ,ZZYZ,IZZY},{XZIZ,YXZZ,IZYZ,ZIZY},{YZZZ,XXZZ,ZIYZ,ZIZX},{XZZZ,YYZZ,ZIYI,ZIIX},{YIZZ,YYZI,ZIXI,ZZIX},{YIZI,YYII,ZZXI,IIIY},{YIII,YXII,IIXZ,IIZX}}", "star")
# write_mub_circuit_file("{{XXYZ,IIIZ,YXXZ,YYYZ},{ZXYZ,IXII,YXZZ,YXYY},{YIII,IXIZ,IIYI,IZIX},{ZXYI,YIXZ,IZXI,ZIIY},{XIZI,YZYZ,ZIXZ,IIZY},{XZII,XIYI,IIYZ,YYXY},{YIIZ,YIXI,YYIZ,XYYX},{XIZZ,IYZI,XYZI,XXXY},{ZYXZ,ZYIZ,XXIZ,IZIY},{IYYI,ZXZI,IZXZ,XXXX},{IXXZ,YZYI,XXII,YYXX},{XZIZ,ZXZZ,YYII,ZZZY},{IXXI,IYZZ,ZZYZ,ZZZX},{ZYXI,XZXI,ZZYI,XYYY},{YZZZ,XZXZ,XYZZ,ZIIX},{YZZI,ZYII,ZIXI,YXYX},{IYYZ,XIYZ,YXZI,IIZX}}", "cycle")
# write_mub_circuit_file("{{XZYIY,YZYIX,ZXXXZ,XYIYX,XXZYY},{XXXYZ,YYYIY,YZZIY,ZXXZZ,XYZYI},{IYZYX,IXIIZ,XYYXX,YZXXY,IZIIY},{ZYZYY,XZZXX,ZXZYZ,YIYXX,ZIIZX},{YIIZI,ZIYYZ,ZYIYI,XZYYY,YZXII},{IZXIY,ZZXYI,IXIXZ,IIZXZ,ZYXXX},{IIYIX,IIXXZ,XYXYY,XXZIY,YYIXI},{ZZYZY,XZIYY,IZXZZ,IXYIZ,ZYYYY},{YIZIZ,IYIZZ,XZIZY,XXIZX,XIYII},{ZXZXY,XYXZY,IZYII,ZZIXZ,XZYZI},{YXYXZ,IYZII,YXYYY,ZIIYZ,XYIXZ},{ZXIYX,YIZYY,YYYXY,ZXYII,YIXZI},{XZIIZ,YZZXY,YZIZX,IZZYZ,ZZZZY},{XIIZZ,YYXZX,XXXXY,XIXYX,XIXZZ},{XXYXI,XIIXY,IYZXI,ZZZYI,YXIYI},{YZZZZ,IZYXI,YXXXX,IYYZZ,ZZIIX},{ZIXZX,YIIXX,XIIIY,XIYXY,YYZYZ},{XZZZI,XXXIY,IYIYZ,IXXZI,IIIZY},{YYYYZ,IZXYZ,XZZIX,YZYYX,ZXYXY},{ZIYIY,XYYIX,ZXIXI,XYIIX,XXIYZ},{YXXYI,ZIXXI,IIYZI,ZYYZI,YXZXZ},{IZYZX,IXZZI,YIIIX,IYXII,IXYXX},{ZYIXX,YXXIX,XIZZX,YYIIY,IZZZX},{XYYYI,XXYZX,ZIYZZ,YIXYY,IYYYX},{YYXXI,ZXZZZ,ZYZXZ,YXIZY,IYXXY},{IYIXY,ZZYXZ,ZZYIZ,YXZIX,ZIZIY},{IIXZY,ZYZIZ,ZZXZI,XZXXX,XXZXI},{IXIYY,ZYIZI,IXZYI,ZYXIZ,XZXIZ},{IXZXX,IIYYI,YIZZY,ZIZXI,YIYIZ},{ZZXIX,YXYZY,YYXYX,IZIXI,IXXYY},{XYXXZ,YZIYX,XXYYX,YYZZX,ZXXYX},{XIZII,XIZYX,ZIXII,XYZZY,YZYZZ},{YZIII,ZXIII,IIXIZ,IIIYI,IIZIX}}", "all")
# write_mub_circuit_file("{{ZZYYZ,ZXIZI,YXYXX,YIXYI,XXZYY},{XYXZX,ZYYYY,IIXZI,IIXIX,YXIII},{YXZXY,IZYXY,YXZYX,YIIYX,ZIZYY},{YZXIX,XZIZZ,YIIXI,XXYYZ,ZZIZY},{ZZZYI,XYZIY,XXYXY,XYXZZ,ZIXXI},{ZYIXX,YZXII,XYXIY,XXIXX,XXXZZ},{IZYXZ,YIYXI,XXIYI,ZIIZY,XZXXY},{IIXIZ,YZZZY,ZIIIZ,ZYIXZ,YXYZY},{IZIYX,IYZXX,ZYIYY,IIZZZ,IZXIX},{YYIIY,IIZZI,IIZIY,YYIII,IYIIY},{YIIYZ,ZYIXI,YYIZX,YZXIZ,XXZIX},{XYZIZ,XIZYZ,YZXZY,ZIYII,ZXIXZ},{ZIIZI,XXYYI,ZIYZX,XIXXY,IYYZI},{ZXXZZ,IYXYZ,XIXYZ,YZZZX,ZZYII},{YYYZI,YYYZX,YZZII,XYZIX,XYIXX},{IYXYY,XXIXY,XYZZI,ZZXXI,ZYXZX},{ZXZIX,YIIYY,ZZXYX,XZIZI,YZYXZ},{IIZZX,IXYZZ,XZIIX,IYZXY,ZXYYX},{YXXYI,YXZXZ,IYZYZ,XIZYI,YIZZX},{IXIII,ZIIZX,XIZXX,IXYZI,XIYIY},{XIZYY,YYIIZ,IXYIX,ZXZIZ,YYZXI},{IYZXI,ZZXXZ,ZXZZY,IZYXX,YYXYY},{XZYII,IZIYI,IZYYI,IZIYZ,IIIYZ},{YZZZZ,ZXXZY,IZIXY,YXXYY,YZIYX},{XXYYX,ZXZII,YXXXZ,IYXYI,XZZYI},{XXIXZ,XZYIX,IYXXX,ZYYYX,IZZZZ},{ZZXXY,ZIYIZ,ZYYXI,YYYZY,YIXIZ},{XIXXI,IIXIY,YYYIZ,IXIIY,ZYZIZ},{YIYXX,XIXXX,IXIZZ,XZYIY,IXZXY},{ZIYIY,ZZZYX,XZYZZ,YIYXZ,XYYYZ},{XZIZY,YXXYX,YIYYY,ZZZYY,XIIZI},{IXYZY,XYXZI,ZZZXZ,ZXXZX,IIYXX},{ZYYYZ,IXIIX,ZXXII,YXZXI,IXXYI}}", "linear")
# write_mub_circuit_file("{{YZXYZ,IIIIZ,YXYIZ,XZYYZ,ZXZXZ},{IXYZZ,YIYZZ,ZYYXI,XZXZZ,XZXYY},{YYZXI,YIYZI,XZIXZ,IIZXI,YYYZX},{IXYZI,IXIZI,YXIZZ,YYYYI,XXYIY},{YIIZI,ZZIXI,IZXIZ,XXYXZ,IIZIY},{XYIXI,XXXYI,ZIXZI,IIZXZ,IZIZY},{ZIXYI,YYXXZ,YXIZI,IZIYZ,IYIYX},{IZXXZ,ZZIXZ,YYZII,IYIZI,ZXIXX},{XYIXZ,ZIZYZ,YZZXZ,ZXIII,IXZXY},{XXZYZ,ZXZZI,XIZYZ,IXZIZ,XXYIX},{XIZZI,IYZII,YIIYI,XXYXI,YXXIX},{YZZII,ZYIIZ,ZIXZZ,YXXXI,XIYXX},{XZIIZ,YYXXI,IIYZZ,XIYII,ZZZZY},{IZXXI,XYYXI,ZXXYZ,ZZZYZ,ZZZZX},{ZZYXI,YZXII,XYIII,ZZZYI,XYXZY},{IYXII,IIIYZ,XYIIZ,XYXYZ,IXZXX},{YXIYZ,IIIYI,ZZYII,IXZII,ZIIIY},{YXIYI,YXYYZ,YIIYZ,ZIIXZ,ZYZYY},{IIYYZ,ZYIII,XXZZI,ZYZZZ,YXXIY},{XZIII,IZZXZ,XZIXI,YXXXZ,ZXIXY},{YYZXZ,IXIZZ,IIYZI,ZXIIZ,YIXXX},{YIIZZ,XYYXZ,XIZYI,YIXII,IYIYY},{ZZYXZ,IYZIZ,IXYYZ,IYIZZ,XIYXY},{YZZIZ,XZYII,YZZXI,XIYIZ,XYXZX},{ZYYII,ZXZZZ,ZXXYI,XYXYI,YIXXY},{XIZZZ,YZXIZ,ZZYIZ,YIXIZ,YZYYX},{IYXIZ,YXYYI,IXYYI,YZYZI,IZIZX},{IIYYI,XZYIZ,IYXXZ,IZIYI,YZYYY},{ZYYIZ,XIXZI,YYZIZ,YZYZZ,YYYZY},{ZXXZI,ZIZYI,IYXXI,YYYYZ,ZIIIX},{XXZYI,XIXZZ,IZXII,ZIIXI,XZXYX},{ZXXZZ,XXXYZ,XXZZZ,XZXZI,ZYZYX},{ZIXYZ,IZZXI,ZYYXZ,ZYZZI,IIZIX}}", "star")
# write_mub_circuit_file("{{IXIYI,ZZIZX,XXIYY,IIZII,YXIYZ},{ZZIII,IZIXY,IIXII,YYIZI,ZZIZZ},{ZYIYI,ZIIYZ,XXXYY,YYZZI,XYIXI},{IIIZX,XYIZI,IIYII,IZIXZ,YZIZX},{YYIYY,IZZXY,YXXYZ,ZYIZY,IIZIY},{ZZZII,YYIZX,XIXIY,XXZIX,IZIZY},{XYIYZ,XZIXI,ZZYZX,XYIZX,YZZZX},{YZIIY,ZIZYZ,ZIXIX,ZYZZY,YXZYX},{IIZZX,ZZIXZ,XIYIY,ZIZYY,XZIZI},{IZIIX,XZZXI,XYYXY,IYIZZ,XIIII},{YZZIY,XXZII,YIXIZ,IXIIZ,XXZYI},{YXZXY,YZIXX,YZXZZ,IIZYZ,IZZZY},{XZIIZ,YIIYX,YYYXZ,XYZZX,IYZXY},{XIIZZ,YXZIX,ZIYIX,XZZXX,ZXZYZ},{XXZXZ,ZZZXZ,ZXYYX,YIZYI,YIZIX},{IZZIX,ZYZZZ,IYYXI,ZXZIY,YIIIX},{IYZYX,IXZIY,XZYZY,ZXIIY,IXIYY},{ZXZXI,XIZYI,XZXZY,XIIYX,XXIYI},{YIZZY,XIIYI,ZYXXX,IIIYZ,YYZXX},{YIIZY,ZXIIZ,YYXXZ,ZZZXY,XYZXI},{IXIXX,YXIIX,XXYYY,IZZXZ,IYIXY},{XXIXZ,XYZZI,YXYYZ,XZIXX,XIZII},{YYZYY,YYZZX,ZXXYX,IXZIZ,ZIZIZ},{XYZYZ,ZYIZZ,YZYZZ,YXZII,XZZZI},{IYIYX,YIZYX,IZYZI,IYZZZ,ZXIYZ},{XIZZZ,IIZYY,YIYIZ,YIIYI,IXZYY},{ZIZZI,YZZXX,IYXXI,XIZYX,ZIIIZ},{XZZIZ,IXIIY,ZYYXX,YXIII,ZYZXZ},{ZXIXI,ZXZIZ,IZXZI,YZZXI,YXIYX},{IXZXX,IIIYY,IXYYI,ZIIYY,ZYIXZ},{ZIIZI,IYZZY,XYXXY,YZIXI,IIIIY},{ZYZYI,XXIII,IXXYI,XXIIX,YYIXX},{YXIXY,IYIZY,ZZXZX,ZZIXY,ZZZZZ}}", "cycle")
# write_mub_circuit_file("{{ZZXXX,YYIZY,ZYXZX,YYXXX,XXZYX},{IZIIZ,YYXZY,IZXZZ,YZXIZ,ZYZXX},{ZIXXY,IIXII,ZXIIY,IXIXY,YZIZI},{YXIZX,XIIIZ,YXIYY,ZYYYY,ZZZZX},{ZXXZY,IIIYZ,XYYXY,YYXYZ,ZYYZY},{YXXXY,ZZYXZ,IYXXZ,YZIYI,XXXIX},{XYZYY,YZXXY,IZIXI,IIZXZ,XXYYI},{IYIYZ,YYIXX,YIZYZ,IIIZY,YZXXZ},{IZXYI,IXZYY,YIIIY,ZYZIX,XIXYX},{YIYXZ,IXIIZ,XYZZX,IXZZZ,XXZIZ},{YIXZY,ZZZZI,YXZIZ,IIXXX,IIZIZ},{XYYIX,IIZIY,YIXYX,XXXXX,ZZIXI},{YXYZZ,IXXYI,ZXXYX,YYYIY,IIXIX},{YIIXX,XIXYI,IYYZY,XXZXZ,YYXZZ},{ZXIXX,YZYZZ,ZXZYZ,ZZZYX,XIIIY},{IYZIY,XIZYY,XZZXX,IXYXI,ZYXXZ},{ZXYXZ,ZYZXI,YXYYI,YZZIX,YZYZY},{XZYYX,IIYYX,IZZZX,ZYIYI,YYYXY},{YXZXI,YYZZI,XYIXI,ZZIII,YYZZX},{IZYIX,ZZIXX,XZIZI,ZZXYZ,IXXYX},{XYXYI,ZYIZX,XZXXZ,XIZZZ,YYIXI},{XZXII,ZYXXY,ZIZIZ,ZZYIY,ZZYXY},{XZIYZ,XXZIY,XZYZY,YYIII,XXIYY},{ZIYZZ,ZYYZZ,IYIZI,IIYZI,ZYIZI},{XZZIY,YZIZX,YIYII,YZYYY,IIIYY},{IYXII,IXYIX,IZYXY,XXYZI,IXZYZ},{YIZZI,YYYXZ,ZXYII,XIXZX,ZZXZZ},{IZZYY,XIYIX,ZIXIX,YYZYX,YZZXX},{ZXZZI,XXXII,IYZXX,ZYXIZ,IXIIY},{ZIIZX,YZZXI,XYXZZ,XIYXI,IXYII},{IYYYX,ZZXZY,ZIYYI,XIIXY,XIZYZ},{XYIIZ,XXYYX,ZIIYY,IXXZX,IIYYI},{ZIZXI,XXIYZ,YXXIX,XXIZY,XIYII}}", "T")
# write_mub_circuit_file("{{YXYZZ,IIIIZ,YYYXI,XYYZZ,XXXZI},{XZIXZ,IZXII,ZYZXZ,XXYYZ,ZZIXY},{ZYYYI,IZXIZ,XIXIZ,IZIXI,YYXYY},{XZIXI,YXZXI,YIXYI,IIZXZ,ZIIZX},{ZXYIZ,XXZZZ,YZYYZ,XYYII,YXYYY},{IXYYI,XYIZI,ZXZZI,IZIXZ,IIZZY},{IYXYZ,IIXYZ,YIXYZ,YYXIZ,YYYIY},{XIIZI,XXZZI,IXIZZ,IIIZZ,ZIZXY},{IXYYZ,ZIYYI,YZXIZ,XYXYZ,IZZXX},{YIZZZ,XYZXI,ZXIXZ,YXXYI,ZIIZY},{IYYIZ,IIYII,IYIXI,XYYIZ,IZIZY},{XIZXZ,ZZYIZ,ZXZZZ,YXYIZ,XYXIX},{YZZXI,IIXYI,IYZZZ,ZIZZI,ZZZZY},{XIIZZ,ZZXYI,XZYII,XXXIZ,ZZZZX},{YZIZZ,YYIXZ,ZYIZZ,XXXII,XXXYX},{ZYXII,IZYYI,ZYIZI,ZZZXI,IZZXY},{XZZZZ,IZYYZ,XIYYI,YXXYZ,XYYYY},{XZZZI,YXIZZ,IYIXZ,ZIIXZ,XXYIX},{ZXXYI,ZZYII,XZXYZ,ZZIZI,IZIZX},{YZZXZ,YYZZI,XIXII,YXYII,ZIZXX},{ZYYYZ,YXZXZ,IYZZI,XYXYI,YXXIX},{ZXYII,ZZXYZ,ZXIXI,IZZZI,YYYIX},{YZIZI,IIYIZ,YIYII,IIIZI,XYXIY},{XIZXI,XXIXZ,YZXII,ZIZZZ,XXXYY},{IXXII,XYZXZ,XZYIZ,ZZZXZ,YXXIY},{IYYII,YYIXI,XIYYZ,IZZZZ,IIIXX},{ZYXIZ,YXIZI,YIYIZ,YYYYI,IIZZX},{ZXXYZ,XXIXI,IXZXI,YYXII,IIIXY},{IXXIZ,ZIXIZ,IXIZI,YYYYZ,YYXYX},{YIIXI,ZIYYZ,IXZXZ,IIZXI,XYYYX},{YIZZI,ZIXII,YZYYI,ZIIXI,ZZIXX},{YIIXZ,XYIZZ,XZXYI,XXYYI,XXYIY},{IYXYI,YYZZZ,ZYZXI,ZZIZZ,YXYYX}}", "Q")
# write_mub_circuit_file("{{ZZYXZI,IIIIIZ,ZXXZYI,XYZXYI,YZXXZI,ZYXZXI},{XXXZXI,XZZYYI,XYYYYI,ZXXYXI,XYZYZI,IIIIIX},{YYZYYI,XZZYYZ,YZZXII,YZYZZI,ZXYZII,ZYXZXX},{XXXZXZ,YYYXII,IIXZII,XYIZYI,YIYXYI,ZZYXZY},{YIIIZI,IXIZII,ZXZZXI,IZIXII,YXXZIZ,ZXXZYY},{IZYYZI,ZIYZXI,YIZXZI,IYZZYZ,YZYXXZ,YZYYIX},{ZYIYYI,YXYXZI,YXIZXZ,IIIXZZ,ZXXIZI,ZXYIXX},{YZIIII,YIXZXZ,YZZXIZ,XYZIXI,YZXYYI,XXIYYX},{YYZYYZ,YYYXIZ,ZXIIYI,IIZYII,IZZIXI,IXZYYY},{YIIIZZ,ZIXIYI,YZIYZI,YIXIZI,XZIIXZ,IYZYXX},{ZYZXXI,YYXYZI,IZYIII,ZIYIZZ,XIIIYI,XYZXYY},{YIZZII,IYZIII,XZXIIZ,ZZYIII,IIIZXZ,XYIYXX},{IIXXZI,XYIIIZ,XIXIZI,YZYZZZ,IIZIYI,YIYYZX},{XIYXZZ,XXIIZI,IIXZIZ,YZXIII,ZYXIII,XIZIIY},{XZYXII,IXIZIZ,IIYIZI,XXZIYI,IYIYZZ,IZIIZY},{IZYYZZ,IXZIZI,ZYIIXI,YXYYXZ,XXZYIZ,XIIZZY},{IZXXII,ZZXIXI,IYXYYZ,ZYXYYZ,IYZXIZ,IIZZZY},{ZXZXYI,IZIYYZ,XXYYXZ,YXXXYZ,XYIXIZ,ZYYIYX},{IXYZXZ,XIZYXZ,IYYXXZ,ZXYXYZ,YIXYXI,ZIXYZY},{XYXZYZ,IZZXXZ,XYXXXZ,IZZYZI,YYYIIZ,XZZIZX},{IXXIYZ,XZIXXZ,YIIYII,IXIIYZ,IXIYII,XZIZIX},{XXYIYZ,YXXYII,YYZIXZ,YYYYYI,IXZXZI,XIZIIX},{YZZZZI,YZYIXZ,IXXYXI,YYXXXI,IYIYZI,ZYXZXY},{YXIXYZ,IIIYXI,IXYXYI,YXYYXI,YIYXYZ,IYZYXY},{IYYZYI,IIZXYI,IYXYYI,IZIXIZ,XIIIYZ,YZYYIY},{IYXIXI,IZIYYI,YIZXZZ,ZZYIIZ,ZXXIZZ,IIZZZX},{IXYZXI,YXYXZZ,XIXIZZ,XYZIXZ,XYIXII,IZZZIX},{YZIIIZ,XXIIZZ,ZXIIYZ,ZXYXYI,XXIXZI,YYYZXY},{XZYXIZ,ZIXIYZ,XYXXXI,ZYYXXI,ZIXXYZ,ZIYXIX},{ZYZXXZ,XZIXXI,XXXXYI,XZZXIZ,YYXZZI,YXXIXX},{XXYIYI,XIIXYI,ZIIXZZ,IXZZXI,ZZYYYI,YZXXZY},{XYYIXI,ZXXXZZ,YYIZYI,XIIYII,ZXYZIZ,IZIIZX},{ZZZIIZ,YZXZYI,ZZZYZI,XYIZYZ,XXZYII,YXXIXY},{YXZYXI,ZYYYZI,ZXZZXZ,ZYXYYI,ZZYYYZ,XYIYXY},{ZIIZII,ZIYZXZ,XXYYXI,XIIYIZ,IIZIYZ,XXZXXX},{ZYIYYZ,XIZYXI,ZZZYZZ,YZXIIZ,IZIZYI,IYIXYY},{XYXZYI,ZYYYZZ,IIYIZZ,YIYZII,XIZZXZ,YIXXIY},{ZIIZIZ,IXZIZZ,IZXZZI,ZZXZZZ,ZYYZZZ,YYXIYY},{IZXXIZ,IYIZZI,XIYZIZ,XXIZXZ,ZIYYXZ,ZZXYIX},{IIYYII,XXZZIZ,ZYZZYZ,XZIYZZ,YXYIZI,IZZZIY},{XZXYZZ,ZZYZYZ,ZIZYIZ,IYIIXI,XXIXZZ,XZZIZY},{ZXIYXZ,ZXYYIZ,YXZIYI,ZYYXXZ,IXIYIZ,YYXIYX},{ZZIZZZ,YIYIYI,XXXXYZ,YYYYYZ,ZIYYXI,IYIXYX},{YYIXXI,XIIXYZ,IXXYXZ,XZIYZI,XIZZXI,XXIYYY},{XYYIXZ,IIIYXZ,ZIZYII,ZZXZZI,IZZIXZ,ZIYXIY},{IYYZYZ,ZXYYII,XIYZII,YIXIZZ,YYXZZZ,XIIZZX},{ZZIZZI,XXZZII,IZYIIZ,IXZZXZ,IYZXII,ZXYIXY},{XZXYZI,IYZIIZ,YYIZYZ,YXXXYI,YZXYYZ,YIXXIX},{IIXXZZ,YZXZYZ,IYYXXI,IIZYIZ,ZYYZZI,XZIZIY},{YXZYXZ,IZZXXI,YZIYZZ,XXIZXI,IXZXZZ,YXYZYX},{IXXIYI,YYXYZZ,ZYZZYI,YYXXXZ,ZZXXXI,YIYYZY},{YIZZIZ,ZZYZYI,IXYXYZ,XIZXZI,ZYXIIZ,YXYZYY},{ZXIYXI,IIZXYZ,ZZIXII,XXZIYZ,ZZXXXZ,XXZXXY},{IYXIXZ,ZYXXII,ZYIIXZ,XIZXZZ,IZIZYZ,ZZXYIY},{ZIZIZI,ZZXIXZ,ZZIXIZ,YIYZIZ,YXYIZZ,ZYYIYY},{ZXZXYZ,ZYXXIZ,IZXZZZ,IYIIXZ,YIXYXZ,IXIXXY},{ZIZIZZ,IYIZZZ,YXZIYZ,IZZYZZ,XZZZYZ,IXIXXX},{IIYYIZ,YIYIYZ,YIIYIZ,ZIXZIZ,XZZZYI,ZIXYZX},{YYIXXZ,YXXYIZ,XZYZZZ,ZIXZII,YYYIII,YYYZXX},{YZZZZZ,XYZZZZ,XZYZZI,IXIIYI,ZIXXYI,IXZYYX},{XIXYIZ,XYZZZI,YYZIXI,XZZXII,XZIIXI,ZZYXZX},{XIXYII,YZYIXI,ZIIXZI,ZIYIZI,YXXZII,IIIIIY},{YXIXYI,ZXXXZI,XZXIII,IYZZYI,XYZYZZ,ZXXZYX},{ZZZIII,XYIIII,YXIZXI,ZXXYXZ,YZYXXI,XYZXYX},{XIYXZI,YIXZXI,XYYYYZ,IIIXZI,IIIZXI,YZXXZX}}", "all")
# write_mub_circuit_file("{{ZZYZZY,YYIXZX,IIIIZI,XYYIZY,ZIXYII,IIYZZY},{ZXIIII,YZIXZY,ZIZYII,ZIYZII,YYIXYY,YYIXZZ},{IYYZZY,IXIIIZ,ZIZYZI,YYIZZY,XYXZYY,YYYYIX},{XZIXZX,YZIXIY,YYXYZY,IIZXII,YYYYXI,ZZYZZI},{ZXIIZI,ZXYXII,IIYIII,ZIIIZY,ZZYZYX,IIIIZY},{YZYIZY,XZXZZY,ZIXXZY,YXIXIZ,IIIIYZ,ZIYXZX},{IXXYII,YZYYII,YXXIIZ,XYYYIX,ZIYXYI,IIZZIX},{ZXYZZY,ZYYZZX,XYZZIX,YYIZIY,IIZZXI,XYZIIX},{YIYYIZ,IXIIZZ,YYXYIY,XYXXZY,XYZIXI,ZZIIIY},{XZIXIX,ZXYXZI,XYIIZY,IIXYZY,ZZIIXZ,XXYYZX},{YZYIIY,IXZZII,IIIZZY,YXYYZX,XXYYYI,XYYIZI},{XZZYZY,XZZIII,YXZZZX,IZIIIY,XYYIYX,XYXZIZ},{IXZXZY,ZYIIIZ,IZXXIY,IIIYIZ,XYXZXY,ZIIYZZ},{YIIXZX,XIYYZI,IIXZIZ,IIZXZI,ZIIYYY,IZZXZI},{IYYZIY,XZYIZX,IIYIZI,YYYIII,IZZXYX,IIYZII},{IXYXIZ,XZXZIY,YYZXII,XXXZIZ,IIYZXX,YXIZZY},{IXXYZI,ZXIYZY,XXIYIZ,XYIXZZ,YXIZYZ,YYZYII},{YZIZII,IYZXZX,XYXIZZ,ZZYXIX,YYZYXX,IIXIIZ},{XIZIIZ,IXYZIX,ZZZIIX,ZIXIZZ,IIXIXY,XXZYZI},{XZYYZZ,YIIZZZ,ZIIXZZ,XYZYZI,XXZYYX,YXXZIZ},{ZYIYIX,YZZYIX,XYYZZI,IZXIIZ,YXXZXY,IZYXIX},{ZXZZZZ,IXXIIY,IZIXIZ,ZZZXZI,IZYXXI,YXZIIX},{XZXXZI,XIZYZX,ZZYIZI,XXIZZY,YXZIXI,IIYZZI},{IYZZIZ,YIXZIY,XXXYZY,ZZXYZY,IIYZYX,ZZYZII},{ZYXYZI,IYYXII,ZZIZZY,XYIXIZ,ZZYZXX,XYYIII},{XIYIZY,YIZIII,XYXIIZ,YXIXZZ,XYYIXX,IIZZZX},{ZYZXZY,IXYZZX,YXXIZZ,IIIYZZ,IIZZYI,IIXIZZ},{XZYYIZ,ZYYZIX,IIXZZZ,XYXXIY,IIXIYY,IZXYIY},{YIYYZZ,XZYIIX,XYIIIY,XYZYII,IZXYXZ,XXIXIZ},{IXYXZZ,IXZZZI,XYYZII,XXZIZX,XXIXXY,IZIYZZ},{XZZYIY,IXXIZY,XXYXZX,IZYZZI,IZIYYY,ZIXYIY},{XZXXII,IYXYIZ,IZZYZI,XXYIII,ZIXYXZ,YYYYZX},{XIXZZX,XIIXIY,XXZXII,YYZIZX,YYYYYI,YXIZIY},{IYIIZI,IYIYZY,YYYXZX,ZIIIIY,YXIZXZ,ZIXYZY},{XIIZII,ZXXYIZ,ZIXXIY,ZZYXZX,ZIXYYZ,ZIIYIZ},{YZXZZX,YZYYZI,ZZZIZX,YYZIIX,ZIIYXY,XXXXIY},{ZXYZIY,YIIZIZ,YYYXIX,YYYIZI,XXXXXZ,ZIZXII},{ZYIYZX,ZXXYZZ,YYZXZI,IZZZZX,ZIZXXX,YXYIII},{YZXZIX,ZXIYIY,IZYYZX,YYXZZZ,YXYIXX,ZZXIIZ},{YZIZZI,XIXXIZ,YYIYZZ,ZZIYZZ,ZZXIXY,YYXXIY},{IYXIZX,ZXZXIX,ZZXZZZ,YXZYZI,YYXXXZ,IZXYZY},{YZZIZZ,YIYIIX,YXYZZI,ZIZZZX,IZXYYZ,IZYXZX},{ZYYXZZ,ZYXIIY,ZIYYZX,XXZIIX,IZYXYI,ZZXIZZ},{YIXXZI,YZXXIZ,XXYXIX,XXIZIY,ZZXIYY,ZIZXZI},{ZXXIZX,IYXYZZ,XXXYIY,YXZYII,ZIZXYX,ZZIIZY},{XIXZIX,IYYXZI,YXYZII,YYXZIZ,ZZIIYZ,IZIYIZ},{XIYIIY,ZYXIZY,YYIYIZ,YXYYIX,IZIYXY,YYZYZI},{YIXXII,ZXZXZX,YXZZIX,XXYIZI,YYZYYX,XYZIZX},{YZZIIZ,ZYIIZZ,XXZXZI,ZIXIIZ,XYZIYI,YXYIZI},{YIIXIX,IYIYIY,ZIIXIZ,IIXYIY,YXYIYX,YXZIZX},{XIIZZI,YZZYZX,IIIZIY,ZZIYIZ,YXZIYI,XYIZIY},{ZXZZIZ,XZZIZI,ZZXZIZ,ZZXYIY,XYIZXZ,IZZXII},{IXZXIY,YIYIZX,ZZIZIY,IIYXZX,IZZXXX,XYIZZY},{ZYYXIZ,YIZIZI,IIZIZX,XXXZZZ,XYIZYZ,XXXXZY},{ZYZXIY,XZIZIZ,XXIYZZ,IIYXIX,XXXXYZ,YYXXZY},{IXIYZX,IYZXIX,IIZIIX,IZZZIX,YYXXYZ,XXZYII},{XIZIZZ,XZIZZZ,IZYYIX,ZIZZIX,XXZYXX,ZZZZZX},{IXIYIX,XIXXZZ,ZIYYIX,IZXIZZ,ZZZZYI,ZZZZIX},{IYXIIX,YZXXZZ,IZIXZZ,YXXXIY,ZZZZXI,YXXZZZ},{ZXXIIX,XIZYIX,YXIIIY,YXXXZY,YXXZYY,XXIXZZ},{IYZZZZ,ZYZZZI,YXIIZY,ZZZXII,XXIXYY,XXYYIX},{YIZYIY,ZYZZII,ZZYIII,IZYZII,XXYYXI,IIIIIY},{YIZYZY,YIXZZY,IZZYII,IZIIZY,IIIIXZ,YYIXIZ},{ZYXYII,XIIXZY,IZXXZY,XYYYZX,YYIXXY,ZIYXIX},{IYIIII,XIYYII,XYZZZX,ZIYZZI,ZIYXXI,XYXZZZ}}", "linear")
# write_mub_circuit_file("{{YIYYZZ,IIIIIZ,IIIIZI,ZYIXII,XIXYZZ,YXYIZZ},{XYIYII,YZYIZZ,XIZYZZ,ZYIZII,XIYYYZ,XIYYZY},{ZYYIZZ,YZYIZI,XIZYIZ,IIIYII,IIZIXI,ZXIYIX},{XYIYIZ,YZYIIZ,YYZZZZ,YYXXZZ,ZXIYXI,ZIIIIY},{XYIYZI,XXYXZZ,IIYIII,XZYZZZ,ZIIIXZ,XIYYIX},{YIIZII,ZZZYII,ZXXYII,XYYXZI,XIYYXI,YYYZIY},{IYXIZZ,IYIIII,ZIXIIZ,ZYIZZZ,YYYZXZ,ZYZXIX},{ZZYYZZ,IZIYIZ,XIZYII,IIIYZI,ZYZXXI,YXXIZY},{ZYYIZI,YZYIII,YYZZIZ,XIXIZZ,YXXIYZ,XXYIZX},{XYIYZZ,XXYXIZ,ZYYXII,IZZXII,XXYIYI,ZIIIZX},{YIIZZI,IXZZII,YXIIZZ,ZZIXIZ,ZIIIYI,YYYZZX},{ZIXXZZ,XYXYZZ,XXZIZI,XYYXIZ,YYYZYI,IIZIZX},{YZZIII,YYYYZI,ZIXIZI,IIIYIZ,IIZIYI,IZIZIX},{XZIIIZ,IZIYZI,YYZZZI,YYXXIZ,IZIZXI,YIXYZX},{ZYYIIZ,XXYXZI,IIYIZI,YXYYZZ,YIXYYI,ZXIYZY},{YIIZIZ,ZZZYZI,IZXZII,IYZZIZ,ZXIYYZ,IYIXZY},{IYXIIZ,ZIIXII,YIIYZI,XZYZII,IYIXYZ,ZYZXZY},{IXYZZZ,XZXIZI,ZXXYZZ,YIYIII,ZYZXYZ,XZXXIY},{YYZYIZ,IYIIZZ,IYXXZZ,XIXIII,XZXXXZ,ZZZZIY},{ZZYYII,ZXIZZZ,ZYYXZZ,ZXZIZI,ZZZZXZ,IXZYZX},{IIYXII,IXZZZZ,XZIXIZ,XXXYZI,IXZYYI,YZYXZY},{ZIXXII,YIXZIZ,ZZYZIZ,YZXZIZ,YZYXYZ,YIXYZY},{XXZXZI,IIZXIZ,IXYYZI,IXIIII,YIXYYZ,ZXIYIY},{ZXXZZI,ZYZIZI,YZZXZZ,IYZZII,ZXIYXZ,ZIIIZY},{IZXYIZ,XIYZZZ,YIIYZZ,XZYZZI,ZIIIYZ,YYYZIX},{YXIXII,XZXIZZ,ZXXYIZ,XYYXII,YYYZXI,ZYZXZX},{YYZYII,IYIIIZ,ZIXIZZ,IIIYZZ,ZYZXYI,XZXXZY},{ZZYYZI,IZIYZZ,YYZZII,XIXIIZ,XZXXYZ,IXZYIY},{ZYYIII,XXYXII,ZYYXZI,ZXZIII,IXZYXZ,XXYIIY},{YIIZZZ,IXZZZI,XZIXZZ,YZXZZI,XXYIXZ,IYIXIX},{ZIXXIZ,YIXZZZ,IXYYIZ,ZZIXZI,IYIXXI,IIZIIY},{XXZXII,ZYZIIZ,XXZIIZ,YIYIZZ,IIZIXZ,ZXIYZX},{IZXYZI,YYYYIZ,IYXXII,YYXXZI,ZXIYYI,IYIXIY},{XZIIZI,ZXIZII,IIYIIZ,XZYZIZ,IYIXXZ,IIZIZY},{IIYXZZ,ZZZYIZ,ZXXYZI,YIYIZI,IIZIYZ,IZIZZX},{IYXIZI,IYIIZI,IYXXIZ,YYXXII,IZIZYI,XYXZZX},{ZZYYIZ,ZXIZIZ,IIYIZZ,YXYYIZ,XYXZYI,YXXIIX},{IIYXZI,ZZZYZZ,IZXZZI,ZIZYIZ,YXXIXI,YZYXIX},{IYXIII,ZIIXZI,XYIZZI,IZZXZZ,YZYXXI,XYXZIY},{IXYZIZ,YXXXZI,YXIIII,IXIIZZ,XYXZXZ,XZXXZX},{XIZZIZ,XYXYII,YZZXII,ZIZYZI,XZXXYI,IXZYZY},{YZZIZZ,XIYZII,XYIZIZ,ZXZIIZ,IXZYYZ,YZYXIY},{YXIXZZ,YXXXIZ,XZIXZI,YZXZII,YZYXXZ,XYXZZY},{XIZZZI,YIXZZI,IXYYZZ,IXIIZI,XYXZYZ,YXXIZX},{XXZXIZ,ZYZIZZ,YZZXIZ,ZIZYII,YXXIYI,XXYIIX},{IZXYII,XIYZIZ,XYIZZZ,IZZXIZ,XXYIXI,IYIXZX},{YXIXZI,YXXXZZ,YXIIZI,ZZIXZZ,IYIXYI,ZYZXIY},{XIZZII,XYXYZI,XXZIII,YIYIIZ,ZYZXXZ,YXXIIY},{YZZIIZ,YYYYII,IYXXZI,XIXIZI,YXXIXZ,YZYXZX},{XZIIZZ,ZXIZZI,ZYYXIZ,IZZXZI,YZYXYI,YIXYIY},{IIYXIZ,IXZZIZ,YXIIIZ,IXIIIZ,YIXYXZ,IZIZIY},{ZIXXZI,XYXYIZ,YZZXZI,IYZZZI,IZIZXZ,YIXYIX},{YZZIZI,XIYZZI,YIIYIZ,YXYYZI,YIXYXI,IZIZZY},{YXIXIZ,XZXIIZ,IZXZIZ,IYZZZZ,IZIZYZ,XYXZIX},{YYZYZI,ZIIXIZ,YIIYII,YXYYII,XYXZXI,XZXXIX},{IXYZZI,XZXIII,IZXZZZ,ZIZYZZ,XZXXXI,ZZZZZY},{YYZYZZ,ZIIXZZ,XYIZII,ZXZIZZ,ZZZZYZ,ZZZZZX},{IXYZII,YXXXII,XZIXII,XXXYII,ZZZZYI,ZZZZIX},{XIZZZZ,YIXZII,ZZYZZZ,XXXYIZ,ZZZZXI,IXZYIX},{XXZXZZ,IIZXZZ,ZZYZZI,XXXYZZ,IXZYXI,XXYIZY},{ZXXZII,IIZXZI,ZZYZII,YZXZZZ,XXYIYZ,ZIIIIX},{ZXXZIZ,IIZXII,IXYYII,ZZIXII,ZIIIXI,XIYYZX},{ZXXZZZ,ZYZIII,XXZIZZ,XYYXZZ,XIYYYI,XIYYIY},{IZXYZZ,YYYYZZ,ZIXIII,ZYIZIZ,XIYYXZ,YYYZZY},{XZIIII,IZIYII,XIZYZI,ZYIZZI,YYYZYZ,IIZIIX}}", "star")
# write_mub_circuit_file("{{ZZXZIY,XXYIIX,IIIIZI,IIIZII,XXXIIY,ZXZZII},{XYZZII,YYXZIY,ZYYZII,YZXYIY,IIIIXI,XXYIIZ},{YXYIIY,ZZZZIZ,ZYYZZI,YZXXIY,XXXIXY,YIXZIZ},{IZXZIX,YYXZZY,ZYYIII,ZYIYII,ZXZZXI,ZZXZII},{XYZZZI,YYXIIY,YZZZIY,XYYXIY,YYZZXZ,IIIIZY},{XYZIII,ZZIZII,IZXIII,IXYXIX,XXYIYX,XXYZZZ},{IZYZIY,XZYIIY,XIXIIZ,ZYZYZZ,IIIZYI,IIZZIX},{YZIIII,IIYIIX,YZIZZX,YZXXZY,XXXZXY,ZXIZIX},{ZIIIIZ,ZZZZZZ,ZYYIZI,ZYIXII,YIYZXY,IYYIII},{IZXZZX,YYXIZY,YZZIIY,IZZXII,XZIIXZ,YYZZZX},{XYZIZI,ZZIIII,XYIIIY,ZIXYIX,ZZXZYY,IIIZIY},{IZYIIY,IYZIII,YXYZIZ,XIIXZI,XXYZXX,IIZIZX},{ZYXIIY,ZXXZIX,IXZIZY,ZYZXIZ,XXXIYY,YIXIIZ},{IXZZIZ,XXIIZI,YZIIIX,ZYIYZI,ZXZIXI,YYIZIY},{YXYIZY,ZZZIIZ,YZZZZY,XYYYIY,ZZYZXX,ZXZZZY},{IZXIIX,ZZIZZI,IZXZII,XIZXIZ,YIXZYX,ZZXIZI},{IZYZZY,XZYZIY,IXIIIX,IZIXZZ,YYZIYZ,XXXZZI},{YZIZII,XXZIIZ,XYZIZX,IXYYZX,IIZZYZ,ZXIIZX},{YXXIIX,IYIIZZ,XIXZZZ,YZYXZX,YIYIYY,XZZZIY},{ZYYIZX,IIYZZX,ZYXIZZ,IZZYZI,IYXZXX,IYXIZZ},{ZIIZZZ,YYYIZX,XYIZZY,YXIXIZ,XZZIYI,XZIZIX},{XYIIZZ,IYZZZI,ZIZIIX,ZIYYZY,IYYZXY,ZZYZIZ},{ZYXZZY,YIIIIZ,YXXZZI,YXZXII,YYIZXI,ZXZZIY},{XIYIIX,ZXYZZY,ZIIIIY,IXXXIY,YIXZXX,ZZXZZI},{IXIZZI,YIZIII,XIYIII,IZIXIZ,YYZZYZ,IIIZZY},{XIXIIY,IIXIIY,XYZIIX,IXYXZX,XXYZYX,IIZZZX},{ZIZIII,IYIIIZ,XIXIZZ,ZYZXZZ,XXXZYY,ZXIIIX},{ZYYIIX,IIYIZX,YZIIZX,ZYIXZI,YIYIXY,XZZIIY},{ZIIIZZ,ZZZIZZ,YZZIZY,IZZYII,IYXIXX,XZIIZX},{IZXIZX,ZZIIZI,XYIZIY,YXIYIZ,IYYIYY,YYZIIX},{IZYIZY,IYZZII,ZIZZIX,YXZYZI,ZZXIXY,XXXIII},{ZYXZIY,YIIZIZ,ZIIZZY,XIIYII,IIZIXZ,YIXZZZ},{XIYZIX,YIZZZI,IXZZIY,YZYYIX,ZXZZYI,ZZXIII},{XIXZZY,XXIZII,ZYXZIZ,XYYXZY,YYZIXZ,XXXIZI},{YXYZIY,YYYZIX,IZXIZI,IXYYIX,IIZIYZ,YIXIZZ},{XYIZIZ,XZYIZY,XIXZIZ,YZYYZX,ZXZIYI,YYIIIY},{YZIIZI,IIYZIX,ZYXZZZ,XYYYZY,ZZYIXX,YIYZZI},{ZIIZIZ,YYYZZX,IZXZZI,XIZYIZ,ZXIZYZ,IYYZZI},{XYIZZZ,XZYZZY,IXIZIX,XYXXZX,XZIZYZ,ZZYIZZ},{YZIZZI,XXZZIZ,IZYIZZ,ZIXXZX,YYIIYI,YIYIII},{YXXZIX,XZXIZX,YXYIZZ,IXXYZY,ZXIIXZ,XZZIZY},{YZZIZZ,ZXXIZX,XIYZZI,XYXYIX,IYXIYX,XZIZZX},{IXZIZZ,IIXZZY,IZYZIZ,YXIYZZ,IYYZYY,ZZYIIZ},{ZIZZZI,XZXZIX,ZIZZZX,YXZXZI,YYIIXI,YIYZII},{YZZZIZ,YIIZZZ,ZIIIZY,IXXYIY,ZXIZXZ,IYYIZI},{XIYZZX,YIZIZI,XIYZII,XYXXIX,XZIIYZ,YYZIZX},{XIXIZY,IIXZIY,IZYIIZ,ZIXYZX,ZZXIYY,XXXZII},{ZIZZII,XZXIIX,YXYZZZ,XIIYZI,IIZZXZ,ZXIZZX},{YZZIIZ,ZXXZZX,IXZZZY,YZYXIX,YIYZYY,IYYZII},{IXZZZZ,XXIZZI,ZYXIIZ,IZZXZI,XZIZXZ,ZZYZZZ},{YXYZZY,YYYIIX,XYIIZY,ZIXXIX,YYIZYI,ZXZIIY},{XYIIIZ,IYZIZI,YXYIIZ,IXXXZY,YIXIXX,YYIZZY},{ZYXIZY,ZXXIIX,XIYIZI,IZIYIZ,ZZYZYX,ZXZIZY},{IXZIIZ,IIXIZY,XYZZIX,XIZXZZ,YIXIYX,YYIIZY},{ZIZIZI,IYIZIZ,IXIIZX,IZIYZZ,ZZYIYX,YIYIZI},{ZYYZIX,XXZIZZ,XYZZZX,XIZYZZ,ZXIIYZ,XZZZZY},{YXXIZX,IYIZZZ,IXIZZX,XYXYZX,IYXZYX,IYXZZZ},{ZYYZZX,XXZZZZ,IZYZZZ,YXIXZZ,XZZZYI,IYXZIZ},{YXXZZX,XZXZZX,ZIZIZX,ZIYXZY,XZZZXI,IYXIIZ},{YZZZZZ,YIIIZZ,YXXIZI,ZIYXIY,XZZIXI,XZIIIX},{XIYIZX,ZXYIZY,YXXIII,ZIYYIY,IYYIXY,YYZZIX},{IXIIZI,ZXYIIY,YXXZII,YXZYII,ZZXZXY,IIIIIY},{IXIIII,ZXYZIY,ZIIZIY,XIIXII,XXYIXX,XXYIZZ},{IXIZII,YIZZII,IXZIIY,ZYZYIZ,IIIIYI,XXYZIZ},{XIXZIY,XXIIII,YZIZIX,YZXYZY,IIIZXI,IIZIIX}}", "ladder")
# write_mub_circuit_file("{{YZXZIY,XZXZIX,IIIIZI,IIIZII,YYZZIY,ZYXIII},{IYIZIY,XYXZIY,IIXIII,XZXYIY,IIIIXI,XZXZIZ},{YXXIII,IXIIIZ,IIXIZI,XZXXIY,YYZZXY,YXIZIZ},{XXXIIZ,XYXZZY,IIXZII,ZXYXII,ZYXIXI,YZXZII},{IYIZZY,XYXIIY,YYYZIY,YXIYIY,ZIIIXZ,IIIIZY},{IYIIIY,ZIYIII,ZYIIII,YZXYIX,XZXZYX,XZXIZZ},{YIZIII,YIIZIY,ZIXIIZ,IIIXZZ,IIIZYI,ZXYZIX},{ZIXZIY,YYXZIX,XZIZZX,XZXXZY,YYZIXY,IZZIIX},{ZYIZIX,IXIIZZ,IIXZZI,ZXYYII,XIYZXY,XXIZII},{XXXIZZ,XYXIZY,YYYIIY,IZZXII,IYXIXZ,ZIIIZX},{IYIIZY,ZIYZII,XIZZIY,XXIYIX,YZXZYY,IIIZIY},{YIZZII,IYZIII,IYIIIZ,ZIIXZI,XZXIXX,ZXYIZX},{XYYIII,XIIZIX,YZIZZY,IIIYIZ,YYZZYY,YXIIIZ},{IIXZIX,ZXIIZI,XZIIIX,ZXYXZI,ZYXZXI,IXYIIY},{YXXIZI,IXIZIZ,YYYZZY,YXIXIY,XYZZXX,ZYXIZY},{XXXZIZ,ZIYIZI,ZYIZII,IXYXIZ,YXIZYX,YZXIZI},{YIZIZI,YIIIIY,XYYZIX,ZYXXZZ,ZIIZYZ,YYZIZI},{ZIXIIY,IIYIIZ,YXXZZX,YZXXZX,ZXYZYZ,IZZZZX},{XIZIIZ,ZZXIZZ,ZIXZZZ,YYZXZX,XIYIYY,ZZZZIY},{YZIIZZ,YYXIZX,ZXZZZZ,IZZYZI,YIYIXX,YIYZZZ},{ZYIIZX,YZZIZX,XIZIZY,ZZZYIZ,ZZZIYI,IYXZIX},{ZZYIZX,IYZZZI,YIZIIX,YIYYZY,XXIIXY,XYZZIZ},{XYYZZI,ZYZZIZ,ZZYIZI,IYXYII,IXYIXI,ZYXIIY},{YYYZIZ,YXYZZY,XXXIIY,XYZYIY,YXIZXX,YZXZZI},{ZXZZZY,IZXZII,IXZIII,ZYXXIZ,ZIIIYZ,IIIZZY},{XZIZII,XZZZIY,YXXZIX,YZXYZX,XZXIYX,ZXYZZX},{IZYZIY,ZZXIIZ,ZIXIZZ,IIIYZZ,YYZIYY,IZZZIX},{YZIIIZ,YYXZZX,XZIIZX,ZXYYZI,XIYIXY,ZZZIIY},{ZYIZZX,IXIZZZ,YYYIZY,IZZYII,YIYZXX,IYXIZX},{XXXZZZ,ZIYZZI,XIZIIY,ZZZXIZ,XXIZYY,ZIIZIX},{YIZZZI,IYZZII,YIZZIX,IYXXZI,YZXIXY,YYZZII},{XYYZII,ZYZIIZ,XXXZZY,ZIIYII,ZXYIXZ,YXIZZZ},{YYYIIZ,IZXIZI,YZIIIY,YYZYIX,ZYXIYI,YZXIII},{XZIIZI,ZXIZII,ZXZIIZ,YXIYZY,ZIIZXZ,YYZZZI},{YXXZII,YZZZIX,ZYIIZI,YZXXIX,ZXYIYZ,YXIIZZ},{ZZYZIX,YIIZZY,ZIXZIZ,YYZYZX,ZYXZYI,IXYZIY},{ZIXZZY,YYXIIX,ZXZIZZ,YXIXZY,XYZIXX,XIYZZI},{ZYIIIX,YZZZZX,ZYIZZI,IXYYIZ,IZZIYZ,XXIIZI},{ZZYZZX,YIIIZY,XYYIIX,XIYYZX,IYXZYZ,XYZIZZ},{ZIXIZY,IIYZIZ,IZYIZZ,XXIXZX,IXYZYI,XIYIII},{XIZZIZ,XXYZZX,IYIZZZ,XYZXZY,IZZZXZ,ZZZIZY},{IXZZZX,XIIIZX,IXZZZI,XIYXIX,YIYZYX,IYXZZX},{IIXIZX,XZZIZY,IZYZIZ,ZZZXZZ,XXIIYY,XYZIIZ},{IZYIZY,XXYIIX,YIZZZX,IYXYZI,IXYZXI,XIYZII},{IXZIIX,ZYZIZZ,XXXIZY,XYZXIY,IZZIXZ,XXIZZI},{YYYIZZ,IZXZZI,IXZZII,XIYYIX,IYXIYZ,ZIIZZX},{XZIZZI,XZZIIY,IZYIIZ,XXIYZX,YZXIYY,YYZIII},{IZYIIY,XXYZIX,IYIIZZ,ZIIYZI,ZXYZXZ,IZZIZX},{IXZZIX,XIIZZX,YZIIZY,YYZXIX,XIYZYY,XXIIII},{IIXZZX,ZXIZZI,ZXZZIZ,IZZXZI,IYXZXZ,XYZZZZ},{YXXZZI,YZZIIX,XIZZZY,XXIXIX,IXYIYI,ZYXZIY},{ZZYIIX,IYZIZI,IYIZIZ,XYZYZY,YXIIXX,IXYIZY},{XYYIZI,XIIIIX,IXZIZI,ZYXYIZ,XYZZYX,ZYXZZY},{IIXIIX,XZZZZY,YXXIIX,IXYXZZ,YXIIYX,IXYZZY},{IZYZZY,ZZXZIZ,XYYZZX,ZYXYZZ,XYZIYX,XIYIZI},{YZIZIZ,IIYIZZ,YXXIZX,IXYYZZ,IZZZYZ,ZZZZZY},{XIZIZZ,ZZXZZZ,XYYIZX,XIYXZX,YIYIYX,YIYIZZ},{YZIZZZ,IIYZZZ,IZYZZZ,ZZZYZZ,ZZZZYI,YIYIIZ},{XIZZZZ,XXYIZX,YIZIZX,YIYXZY,ZZZZXI,YIYZIZ},{IXZIZX,ZYZZZZ,ZZYZZI,YIYXIY,ZZZIXI,IYXIIX},{YYYZZZ,YXYIZY,ZZYZII,YIYYIY,XXIZXY,ZIIIIX},{ZXZIZY,YXYIIY,ZZYIII,IYXXII,YZXZXY,IIIIIY},{ZXZIIY,YXYZIY,XXXZIY,ZIIXII,XZXZXX,XZXZZZ},{ZXZZIY,IZXIII,YZIZIY,IIIXIZ,IIIIYI,XZXIIZ},{XZIIII,ZXIIII,XZIZIX,XZXYZY,IIIZXI,ZXYIIX}}", "E")
# write_mub_circuit_file("{{XXXYXI,IIIIIZ,YXXYYI,ZXXXII,ZXYYII,ZYXYII},{ZIIIXI,IXIIII,IIXIII,ZXXZII,IIIIXI,IIIIIX},{YXXYII,IXIIIZ,YXIYYI,IIIYII,ZXYYXI,ZYXYIX},{ZIIIXZ,YIXYYI,ZXIXII,IIZXII,ZYXYXI,XXXYXY},{XXXYZI,ZIXXII,ZXZYII,IZIXII,XXXYIZ,YXXYYY},{IXXXXI,ZIYYII,ZYIYII,YIIXXZ,YXXYZZ,XIIZYX},{IXYYXI,ZZXYII,XXIYXZ,XIIXYZ,XIIZZI,IIZZIX},{IYXYXI,XIXYXZ,YXIYYZ,YXXIYI,IIZZXI,IZZIIX},{YXXYIZ,YIXYYZ,XIXZYI,ZXYIII,IZZIXI,YZIIXY},{XXXYZZ,XXIZYI,IIYZII,ZYYZII,YZIIIZ,ZIIIZX},{YIIZZI,IXZZII,IZYIII,XYXZXZ,ZIIIYI,ZXXXIY},{ZIZZXI,IYZIII,YZXIXZ,IXXZZI,ZXXXXZ,XIZIYX},{ZZZIXI,YYIIXZ,ZIXIZI,IIIYIZ,XIZIZI,IZIZIX},{XZIIIZ,ZXIIZI,ZXIXIZ,YXYZYI,IZIZXI,YIZIXY},{IIIIYI,ZIXXIZ,XIYIYI,ZYXIII,YIZIIZ,XZIIYY},{IXXXXZ,XXZIYI,IZXZII,XXYZXZ,XZIIZZ,IXXXZY},{YIZIZI,IYIZII,YIYIXZ,YYXZYZ,IXXXYZ,YXYXYY},{ZZIZXI,YXZIXZ,XZXIYZ,ZIIYZZ,YXYXZZ,XZZZYX},{XIZIIZ,XYIIYZ,IXIXZZ,XIZYYZ,XZZZZI,YZZZXY},{YZIIZZ,IIXXZZ,YXZXYZ,YYYIYI,YZZZIZ,ZZZIZX},{ZXXXYZ,YIYXYZ,XZYZYI,XYYIXZ,ZZZIYI,XYXXXX},{XXYXZZ,XYZZYI,YZYZXZ,IYYZZI,XYXXII,YIZIXX},{YZZZZI,YYZZXZ,ZZYIZI,YZIYXI,YIZIII,ZYXYIY},{XZZZIZ,ZYZIZI,XYIXXI,XXYZXI,ZYXYXZ,ZIIIZY},{IZZIYI,XZXXXI,YIYIXI,IZIXIZ,ZIIIYZ,XIIZYY},{YYXXII,YXZIXI,ZYIYIZ,IXXZZZ,XIIZZZ,YXYXYX},{XIZIII,ZZXYIZ,ZIXIZZ,YXXIYZ,YXYXZI,ZYYXIX},{IYXYXZ,ZXIIZZ,XIXZYZ,XIZYYI,ZYYXXI,XYYYXY},{IIIIYZ,XXIZYZ,YXZXYI,IZZYII,XYYYIZ,IYXYZX},{YIIZZZ,YIYXYI,ZYZXII,YZZXXZ,IYXYYI,YIIZXX},{XXYXZI,ZZYXII,XYZYXZ,ZZIXZI,YIIZII,ZXYYIY},{IYYXXI,XZYYXZ,IYIYZI,XXXIXI,ZXYYXZ,XZIIYX},{YYYYIZ,IZXYZI,YIXZXI,IIZXIZ,XZIIZI,YIIZXY},{ZYXYYI,YXIZXI,ZXZYIZ,YYXZYI,YIIZIZ,XIZIYY},{XIIZII,ZIYYIZ,XZXIYI,XXXIXZ,XIZIZZ,YYXXYX},{IXYYXZ,XYIIYI,YIXZXZ,YXYZYZ,YYXXZI,XXYXXY},{YZIIZI,YXIZXZ,XIYIYZ,XZIYYI,XXYXIZ,YYYYYY},{XIIZIZ,XXZIYZ,YYIXYI,YIZYXZ,YYYYZZ,ZZIZZY},{YIZIZZ,YZXXYI,XXZXXZ,XZZXYZ,ZZIZYZ,ZIZZZX},{XYXXZI,XIYXXZ,YYZYYZ,IYXIZZ,ZIZZYI,ZYYXIY},{YXYXIZ,YZYYYZ,ZZXZZZ,IXYIZI,ZYYXXZ,ZZZIZY},{XYYYZZ,ZYIZZZ,ZIYZZI,IZZYIZ,ZZZIYZ,ZZIZZX},{IZIZYZ,ZXZZZI,ZYZXIZ,IYYZZZ,ZZIZYI,XXYXXX},{IIZZYI,ZZYXIZ,ZZYIZZ,IYXIZI,XXYXII,IZZIIY},{IYYXXZ,ZYZIZZ,ZZXZZI,YIZYXI,IZZIXZ,IYXYZY},{IZZIYZ,ZYIZZI,XXZXXI,ZYYZIZ,IYXYYZ,IXXXZX},{IZIZYI,XIYXXI,IZYIIZ,ZZIXZZ,IXXXYI,IIZZIY},{YXYXII,IYZIIZ,IYIYZZ,ZIIYZI,IIZZXZ,YYYYYX},{ZZZIXZ,IZXYZZ,IXIXZI,ZXYIIZ,YYYYZI,XYXXXY},{ZYXYYZ,IIXXZI,IIYZIZ,XZZXYI,XYXXIZ,IXYYZX},{ZXXXYI,IXZZIZ,YYZYYI,YZIYXZ,IXYYYI,IZIZIY},{ZIZZXZ,YZYYYI,XYIXXZ,ZIZXZI,IZIZXZ,IXYYZY},{XYYYZI,XZXXXZ,IXZYZI,ZYXIIZ,IXYYYZ,YYXXYY},{YYXXIZ,IIYYZI,IZXZIZ,ZIZXZZ,YYXXZZ,ZIZZZY},{ZXYYYI,IYIZIZ,IXZYZZ,XZIYYZ,ZIZZYZ,XZZZYY},{ZZIZXZ,IIYYZZ,YYIXYZ,IXYIZZ,XZZZZZ,IYYXZY},{ZXYYYZ,YZXXYZ,ZIYZZZ,YYYIYZ,IYYXYZ,IYYXZX},{XYXXZZ,ZXZZZZ,XZYZYZ,ZZZYZZ,IYYXYI,YZZZXX},{IIZZYZ,XYZZYZ,IYZXZZ,ZZZYZI,YZZZII,XYYYXX},{YZZZZZ,IZYXZZ,IYZXZI,XYYIXI,XYYYII,YZIIXX},{ZYYXYZ,IZYXZI,YZYZXI,YZZXXI,YZIIII,XXXYXX},{ZYYXYI,YYZZXI,XYZYXI,XYXZXI,XXXYII,IIIIIY},{XZZZII,XZYYXI,YZXIXI,YIIXXI,IIIIXZ,YXXYYX},{YYYYII,YYIIXI,XXIYXI,ZXXZIZ,YXXYZI,ZXXXIX},{XZIIII,XIXYXI,IIXIIZ,XIIXYI,ZXXXXI,ZXYYIX}}", "H")
write_mub_circuit_file("{{+XYXIXX,+YYXIXY,+YYXIYX,+ZIIYZI,+YYYIXX,+YXXIXX},{+XIIXZI,+YZXIXX,+IIXIII,+IIIXII,+ZIIXYI,+IIIIIX},{+IYXXYX,+IXIIIZ,+YYIIYX,+ZIIZZI,+XYYXZX,+YXXIXI},{+ZYXXYY,+IXIIZI,+ZIXYZI,+YYYXXX,+XXXXZX,+ZIIIIY},{+ZYXXXX,+XZXYYX,+YYZIXX,+YXXXXX,+IIIXYZ,+IIIIZY},{+YIIZII,+IXZIII,+YXIIXX,+ZIIXIZ,+ZIIXXZ,+XYXYXI},{+ZYYXYX,+IYIIII,+ZIXIIZ,+IIIXZZ,+YYXZZX,+XYYYYI},{+ZXXXYX,+XZXIXY,+IIXIZZ,+XYXZXX,+YYYZIX,+IZZIIX},{+YIIXZZ,+YZXIYY,+XYIYXX,+XYYZYX,+ZZZXYI,+XXXIXZ},{+XIIXIZ,+ZXIYII,+XYZYYX,+IZZXII,+YXXXZY,+ZIIIZX},{+IYXZYX,+ZXZYZI,+IZYIII,+XXXXXY,+IIIXXI,+XYXYYZ},{+IYYZXX,+YIYIXX,+XXIIXY,+ZIIXZI,+YYXZIY,+IIZIZX},{+XZZXZI,+ZYIIIZ,+ZIXIZI,+XYXZYY,+ZIZXXI,+XXXYYI},{+IXXXYY,+XZXIYX,+XYIYYY,+IIZXZI,+YXXZIX,+XYYIXZ},{+YIIXII,+ZXIYZZ,+IIYIZI,+XXXZYX,+YYYXZY,+YXXIYZ},{+IYXZXY,+YZYIYX,+XXIYYX,+XYYXXY,+XXXXIY,+YYXYXZ},{+XIZXII,+ZYIYZI,+XYZIXY,+YXXXYY,+XYXZZY,+XYYYXZ},{+IXXZXX,+ZXZIIZ,+YXIIYY,+YYXZXY,+YYYZZY,+XXYYXI},{+IYYXYY,+IYIIZZ,+YYIYXY,+XYYZXY,+YXYZZX,+IZZYZY},{+ZXXXXY,+IXIYIZ,+XYZYXY,+XXYZXX,+ZZZZXZ,+ZZZIZX},{+ZYXZYY,+ZXZYIZ,+XXZYXX,+IZZZZZ,+IZZXXI,+IZIYZX},{+IYYZYY,+ZYZYII,+IZYYZZ,+ZZZXZI,+ZZIZXI,+ZIZIIX},{+IXYZYX,+YIYYYY,+ZZYIZI,+IZIZZI,+IIZXYI,+IZIIIY},{+XZZZIZ,+XIYIYX,+IZXYZI,+ZIZXII,+ZZIXYZ,+XYXIYZ},{+YZZXII,+YIXYYX,+ZIYIII,+IZIXIZ,+YYXXIY,+ZIIYIY},{+XZIZII,+XZYIXX,+IZXIIZ,+XYXXYY,+IIIZYZ,+ZIZYIX},{+YIZXZI,+YIXIXY,+XYIIYY,+ZIIZIZ,+IIZZYI,+ZZZYZX},{+XZIXZZ,+ZXIIZZ,+ZIXYIZ,+ZIZZII,+IZZZXI,+ZZZIIY},{+IYXXXY,+XZXYXY,+ZIYYII,+ZZZZZI,+IZZXYZ,+XXXIYI},{+YIIZZZ,+XZYYXX,+ZZYYZI,+ZZZXIZ,+YXXXIX,+YYXYYI},{+YIZZZI,+XIYYYX,+ZZYIIZ,+XXXXYX,+XYXZIX,+IIZIIY},{+YZZZII,+XIYIXY,+XXIIYX,+YYXZYX,+ZIZXYZ,+IZIIZX},{+YZZXZZ,+ZYIIZI,+YYIYYX,+IIZXIZ,+ZZIXXI,+IIIYZY},{+IXXXXX,+IXIYZI,+IIYIIZ,+IZIXZI,+ZIIZXZ,+YYYIYZ},{+ZYXZXX,+YZYIXY,+IZXIZI,+IIIZZZ,+XYYXIY,+ZZIYIX},{+XIZXZZ,+YIXIYX,+IIXYZZ,+YYYXYY,+IZIZYI,+YYYYYZ},{+XZIXII,+YZXYYY,+YYZIYY,+ZZIZII,+XYYZIY,+IZZIZY},{+XIIZIZ,+IXZIZZ,+ZZXYII,+YYYZYY,+ZZZXXZ,+IZIYIY},{+ZYYXXY,+XIXYXX,+YYZYYY,+IZZXZZ,+ZZIZYZ,+YYYYXI},{+YZIZZI,+IXZYZZ,+IZYIZZ,+IZIZIZ,+XYYZZX,+XXYYYZ},{+ZYYZXY,+YIYIYY,+IZXYIZ,+YYYZXX,+YXYZIY,+XXYIYZ},{+XZZXIZ,+YIXYXY,+YYZYXX,+XXYZYY,+YXYXIY,+YXXYXI},{+XZIZZZ,+IXZYII,+XXZYYY,+XXYXYY,+XXXZZX,+IIZYZX},{+ZYYZYX,+ZYZYZZ,+XXZIYY,+YXXZXX,+ZIZZXI,+YXYIXZ},{+IXYZXY,+ZYZIZZ,+YXIYXX,+IIZZZI,+XXYXZY,+ZZIIZY},{+IXYXXY,+IYIYII,+IIYYZI,+YXYXXY,+IZIXXZ,+IIIYIX},{+ZXXZYX,+YZYYYX,+YXZIXY,+ZZIXZZ,+ZIIZYI,+ZIZYZY},{+XIZZII,+IYZIIZ,+ZZXIZZ,+IIIZII,+IIZZXZ,+YXYIYI},{+ZXYXYY,+XIXIYY,+IIXYII,+ZIZZZZ,+XXYXIX,+YXXYYZ},{+YZIXIZ,+YZXYXX,+ZIYYZZ,+YXYXYX,+XXXZIY,+XYYIYI},{+XIIZZI,+XZYYYY,+YXZIYX,+YXXZYY,+YYYXIX,+ZZIYZY},{+YIZZIZ,+IYZIZI,+YXIYYY,+XYYXYX,+IZIZXZ,+ZIZIZY},{+ZXYXXX,+IYIYZZ,+XYZIYX,+ZZIZZZ,+IIZXXZ,+XXXYXZ},{+ZXXZXY,+ZXZIZI,+ZZXYZZ,+ZIZXZZ,+YXXZZY,+IIZYIY},{+IYYXXX,+XIXYYY,+ZIYIZZ,+XXXZXY,+ZIZZYZ,+ZZZYIY},{+YZIZIZ,+XZYIYY,+XXIYXY,+IIZZIZ,+IZZZYZ,+YXYYXZ},{+YIZXIZ,+ZYIYIZ,+IIYYIZ,+ZZZZIZ,+XXYZZY,+IZZYIX},{+IXXZYY,+YZYYXY,+ZZYYIZ,+YXYZXY,+ZZZZYI,+YXYYYI},{+XIZZZZ,+XIYYXY,+YXZYXY,+IZZZII,+XXYZIX,+XXYIXI},{+YZZZZZ,+IYZYIZ,+IZYYII,+YXYZYX,+YXYXZX,+ZZIIIX},{+ZXYZYY,+YIYYXX,+YXZYYX,+XXYXXX,+IZIXYI,+XYXIXI},{+XZZZZI,+IYZYZI,+XXZIXX,+ZZIXII,+YYXXZX,+YYXIXZ},{+ZXYZXX,+ZYZIII,+ZZXIII,+XYXXXX,+XYXXZY,+YYXIYI},{+IXYXYX,+XIXIXX,+XYIIXX,+YYXXXY,+XYXXIX,+ZIIYZX},{+YZIXZI,+ZXIIII,+YYIIXY,+YYXXYX,+IIIZXI,+YYYIXI}}", "Q")
## new all:
# write_mub_circuit_file("{{XIXZZZ,IIIIIZ,IIIIZI,IIIZII,XXIZZZ,ZYYIII},{XXYIII,IXIIII,ZXZIII,YIXYZZ,YIXZYZ,YIXZZY},{IXZZZZ,IXIIIZ,ZXZIZI,YIXXZZ,ZXXIXI,XYZZZY},{XXYIIZ,IXIIZI,ZXZZII,ZXXXII,XYZZYZ,ZIIIIY},{XXYIZI,IXIZII,YIZZZZ,XYZYZZ,ZIIIXZ,YIXZIX},{XXYZII,XIIZZZ,IZXIII,ZIIXIZ,YIXZXI,YIXIIY},{IIYZZZ,ZZYIII,YXYZZI,YIXYII,YIXIXZ,ZXXZIX},{YZIIII,XXXZZI,ZXZIZZ,YIXXIZ,ZXXZXI,IZZIIX},{IXZZZI,IXIIZZ,ZXZZZI,ZXXYII,IZZIXI,IYYIIY},{XXYIZZ,IXIZZI,YIZIZZ,IZZXII,IYYIXZ,ZIIIZX},{XXYZZI,XIIIZZ,XYXZZZ,IYYXIZ,ZIIIYI,YIXIZX},{IIYIZZ,YYYZZZ,XZIZZI,ZIIXZI,YIXIYI,ZXXIZX},{ZYIZZZ,YZZZZI,YXYZIZ,YIXXZI,ZXXIYI,XYZIZY},{ZZXZZI,XXXZIZ,ZXZZIZ,ZXXXZI,XYZIYZ,YXIZZX},{IXZZIZ,IXIZIZ,YIZZIZ,XYZXZZ,YXIZYI,XYZZIX},{XXYZIZ,XIIZIZ,IZXZII,YXIYZI,XYZZXI,ZIIZZY},{IIYZIZ,ZZYZII,ZIYIIZ,XYZYII,ZIIZYZ,ZXXZZY},{YZIZII,IIXIIZ,IZXIZZ,ZIIYZZ,ZXXZYZ,IZZZZX},{XIZIIZ,ZZYIZZ,YXYIII,ZXXYZZ,IZZZYI,XZYIZX},{YZIIZZ,XXXIII,YIZIII,IZZYZI,XZYIYI,XZYZIY},{IXZIII,XIIIII,XYXIIZ,XZYXZI,XZYZXZ,IYYZIX},{IIYIII,YYYIIZ,IYIZIZ,XZYYIZ,IYYZXI,YXIZZY},{ZYIIIZ,ZYZZIZ,IYIIZI,IYYYII,YXIZYZ,XYZZZX},{YYXZIZ,ZYZIZI,XZIIZZ,YXIYZZ,XYZZYI,ZIIIZY},{YYXIZI,YZZIZZ,ZIYIII,XYZYZI,ZIIIYZ,YIXIIX},{ZZXIZZ,IIXIII,IZXIIZ,ZIIXZZ,YIXIXI,ZXXZZX},{XIZIII,ZZYIIZ,YXYZII,YIXXII,ZXXZYI,IZZZIX},{YZIIIZ,XXXZII,ZXZZZZ,ZXXYZI,IZZZXI,XZYZZX},{IXZZII,IXIZZZ,YIZIIZ,IZZYII,XZYZYI,IYYIZX},{XXYZZZ,XIIIIZ,XYXIZZ,XZYYZI,IYYIYI,ZIIZIX},{IIYIIZ,YYYIZZ,IYIIIZ,IYYXZI,ZIIZXI,ZXXIIY},{ZYIIZZ,ZYZIIZ,XZIZIZ,ZIIYII,ZXXIXZ,XYZZIY},{YYXIIZ,YZZZIZ,YXYIZZ,ZXXXIZ,XYZZXZ,ZIIZIY},{ZZXZIZ,XXXIZZ,YIZZZI,XYZYIZ,ZIIZXZ,ZXXIZY},{IXZIZZ,XIIZZI,IZXIZI,ZIIYIZ,ZXXIYZ,XYZIIY},{IIYZZI,ZZYIZI,YXYIZI,ZXXXZZ,XYZIXZ,YXIIZX},{YZIIZI,XXXIZI,YIZZII,XYZXIZ,YXIIYI,IZZIZY},{IXZIZI,XIIZII,IZXZZI,YXIXZI,IZZIYZ,IYYZZY},{IIYZII,ZZYZZI,ZIYZIZ,IZZXZZ,IYYZYZ,YXIIIY},{YZIZZI,IIXZIZ,XYXZII,IYYYZZ,YXIIXZ,IZZZIY},{XIZZIZ,YYYZII,XZIIII,YXIXIZ,IZZZXZ,XZYZIX},{ZYIZII,YZZIII,ZIYZZI,IZZYIZ,XZYZXI,IYYZZX},{ZZXIII,IIXZZI,XYXIZI,XZYYII,IYYZYI,YXIIZY},{XIZZZI,YYYIZI,IYIIZZ,IYYYZI,YXIIYZ,IZZIIY},{ZYIIZI,ZYZIZZ,XZIIIZ,YXIXZZ,IZZIXZ,IYYIZY},{YYXIZZ,YZZIIZ,ZIYZII,IZZXIZ,IYYIYZ,ZIIZZX},{ZZXIIZ,IIXZII,XYXZZI,IYYXZZ,ZIIZYI,ZXXZIY},{XIZZII,YYYZZI,XZIZII,ZIIYZI,ZXXZXZ,IZZIZX},{ZYIZZI,YZZZII,YXYIIZ,ZXXYIZ,IZZIYI,IYYZIY},{ZZXZII,XXXIIZ,YIZIZI,IZZXZI,IYYZXZ,YXIZIY},{IXZIIZ,XIIIZI,XYXZIZ,IYYYIZ,YXIZXZ,XYZIZX},{IIYIZI,YYYZIZ,XZIIZI,YXIYIZ,XYZIYI,YXIZIX},{ZYIZIZ,YZZIZI,ZIYIZI,XYZXZI,YXIZXI,XYZIIX},{ZZXIZI,IIXIZI,IZXZIZ,YXIYII,XYZIXI,YXIIIX},{XIZIZI,ZZYZIZ,ZIYIZZ,XYZXII,YXIIXI,IZZZZY},{YZIZIZ,IIXIZZ,IZXZZZ,YXIXII,IZZZYZ,XZYIIX},{XIZIZZ,ZZYZZZ,ZIYZZZ,IZZYZZ,XZYIXI,XZYIIY},{YZIZZZ,IIXZZZ,XYXIII,XZYXII,XZYIXZ,XZYIZY},{XIZZZZ,YYYIII,IYIZZZ,XZYXIZ,XZYIYZ,XZYZZY},{ZYIIII,ZYZZZZ,IYIZZI,XZYXZZ,XZYZYZ,IYYIIX},{YYXZZZ,ZYZZZI,IYIZII,XZYYZZ,IYYIXI,ZIIIIX},{YYXZZI,ZYZZII,IYIIII,IYYXII,ZIIIXI,YIXZZX},{YYXZII,ZYZIII,XZIZZZ,ZIIXII,YIXZYI,YIXZIY},{YYXIII,YZZZZZ,YXYZZZ,YIXYZI,YIXZXZ,YIXIZY},{ZZXZZZ,XXXZZZ,ZXZIIZ,YIXYIZ,YIXIYZ,ZXXIIX}}", "all")