From ea9bf95a573734c03079fbdc3caade23afc4e030 Mon Sep 17 00:00:00 2001
From: wmj <wangmingjian0607@163.com>
Date: Sun, 1 Nov 2020 20:19:55 +0800
Subject: [PATCH] Add Grover

---
 grover.md | 1160 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 1160 insertions(+)
 create mode 100644 grover.md

diff --git a/grover.md b/grover.md
new file mode 100644
index 0000000..9f646fe
--- /dev/null
+++ b/grover.md
@@ -0,0 +1,1160 @@
+输出依次为8,7,6,0,6,3,6,4,7,8,5,11,3,10,0,7,目标为6，重复4次，所得量子程序如下
+
+第一次出现的oracle和diffusion已在代码中标出，之后的量子线路为oracle<<diffusion<<oracle<<diffusion<<oracle<<diffusion
+
+Application中的Grover算法使用了概率测量`pMeasure`的方式，因此量子线路中不含测量的部分。
+
+```
+QINIT 10
+CREG 1
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+X q[0]
+H q[0]
+X q[1]
+H q[1]
+
+;oracle begin
+
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[0]
+X q[1]
+ENDCONTROL
+DAGGER
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+ENDDAGGER
+DAGGER
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+ENDDAGGER
+
+;oracle end
+
+;diffusion begin
+
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4]
+Z q[5]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+
+;diffusion end
+
+;repeat oracle and diffusion
+
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[0]
+X q[1]
+ENDCONTROL
+DAGGER
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+ENDDAGGER
+DAGGER
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+ENDDAGGER
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4]
+Z q[5]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[0]
+X q[1]
+ENDCONTROL
+DAGGER
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+ENDDAGGER
+DAGGER
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+ENDDAGGER
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4]
+Z q[5]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+CONTROL q[0]
+X q[1]
+ENDCONTROL
+DAGGER
+X q[6]
+X q[9]
+CONTROL q[6],q[7],q[8],q[9]
+X q[0]
+ENDCONTROL
+X q[6]
+X q[9]
+ENDDAGGER
+DAGGER
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[5]
+X q[2]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[4]
+X q[5]
+X q[2]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[5]
+X q[3]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[3]
+X q[5]
+X q[2]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[5]
+X q[5]
+CONTROL q[2],q[3],q[4],q[5]
+X q[8]
+ENDCONTROL
+X q[5]
+X q[2]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[3]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[4]
+X q[2]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[8]
+ENDCONTROL
+X q[2]
+X q[4]
+X q[4]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[4]
+X q[2]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[3]
+CONTROL q[2],q[3],q[4],q[5]
+X q[7]
+X q[9]
+ENDCONTROL
+X q[3]
+X q[2]
+X q[2]
+CONTROL q[2],q[3],q[4],q[5]
+X q[6]
+X q[7]
+X q[8]
+ENDCONTROL
+ENDDAGGER
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+CONTROL q[2],q[3],q[4]
+Z q[5]
+ENDCONTROL
+X q[2]
+X q[3]
+X q[4]
+X q[5]
+H q[2]
+H q[3]
+H q[4]
+H q[5]
+```
+