diff --git a/test_files/Nam_4_2_complete_ECC_set.json b/test_files/Nam_4_2_complete_ECC_set.json new file mode 100644 index 00000000..4e7b533b --- /dev/null +++ b/test_files/Nam_4_2_complete_ECC_set.json @@ -0,0 +1,412 @@ +[[], +{ +"0_2": [ +[[1,2,3,3,["1179296cd3522"],[4.99610675544946536e-01,3.58262240998448722e-01]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P0"]],["rz", ["Q0"],["Q0", "P2"]]]] +,[[1,2,3,3,["1179296cd3522"],[4.99610675544946536e-01,3.58262240998448722e-01]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P2"]],["rz", ["Q0"],["Q0", "P0"]]]] +] +,"1_2": [ +[[1,0,0,4,["1394b89e8edbb"],[-5.07456696783136207e-01,4.65972495953195120e-01]],[["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]]]] +,[[1,0,0,4,["1394b89e8edbb"],[5.07456696783136207e-01,-4.65972495953195120e-01]],[["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"2_2": [ +[[1,1,1,4,["1477aae520bc3"],[4.31331659005208645e-01,-5.76668527993072111e-01]],[["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]]]] +,[[1,1,1,4,["1477aae520bc3"],[4.31331659005208645e-01,-5.76668527993072111e-01]],[["rz", ["Q0"],["Q0", "P0"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"3_2": [ +[[1,1,1,4,["110a8c53d7174"],[4.42374675628790459e-01,-4.04729147371692966e-01]],[["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]]]] +,[[1,1,1,4,["110a8c53d7174"],[4.42374675628790459e-01,-4.04729147371692966e-01]],[["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["h", ["Q0"],["Q0"]]]] +] +,"4_2": [ +[[1,2,4,4,["12e69db784270"],[4.76648118332313575e-01,4.63735518426349913e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P2"]],["rz", ["Q0"],["Q0", "P3"]]]] +,[[1,2,4,4,["12e69db78426f"],[4.76648118332313575e-01,4.63735518426349802e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P3"]],["rz", ["Q0"],["Q0", "P2"]]]] +] +,"5_2": [ +[[1,2,2,4,["1c16fc733f209"],[-7.50808264948312098e-01,-6.42702537225969817e-01]],[["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]]]] +,[[1,2,2,4,["1c16fc733f209"],[-7.50808264948312098e-01,-6.42702537225969817e-01]],[["rz", ["Q0"],["Q0", "P0"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["x", ["Q0"],["Q0"]]]] +] +,"6_2": [ +[[1,1,2,5,["fb5051d0cd45"],[3.94855335833779630e-01,-3.86659428330336175e-01]],[["add", ["P1"],["P0", "P0"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]]]] +,[[1,1,2,5,["fb5051d0cd45"],[3.94855335833779408e-01,-3.86659428330336175e-01]],[["add", ["P1"],["P0", "P0"]],["rz", ["Q0"],["Q0", "P1"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"7_2": [ +[[1,1,2,5,["143b041acff44"],[4.54853410535677738e-01,5.47508485597311578e-01]],[["add", ["P1"],["P0", "P0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]]]] +,[[1,1,2,5,["143b041acff44"],[4.54853410535677738e-01,5.47508485597311578e-01]],[["add", ["P1"],["P0", "P0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["h", ["Q0"],["Q0"]]]] +] +,"8_2": [ +[[1,2,3,5,["1c3010c9785db"],[6.38076918057808085e-01,-7.59251345488965446e-01]],[["add", ["P2"],["P0", "P1"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +,[[1,2,3,5,["1c3010c9785da"],[6.38076918057808085e-01,-7.59251345488965335e-01]],[["add", ["P2"],["P0", "P1"]],["rz", ["Q0"],["Q0", "P2"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"9_2": [ +[[1,2,3,5,["138b431ed8594"],[6.87553554699991243e-01,1.10981477210586356e-02]],[["add", ["P2"],["P0", "P1"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]]]] +,[[1,2,3,5,["138b431ed8594"],[6.87553554699991243e-01,1.10981477210586356e-02]],[["add", ["P2"],["P0", "P1"]],["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["h", ["Q0"],["Q0"]]]] +] +,"10_2": [ +[[1,2,3,5,["8f73dd31e7b7"],[-2.74822210392450028e-01,-1.54870855862913936e-01]],[["add", ["P2"],["P1", "P1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +,[[1,2,3,5,["8f73dd31e7b7"],[-2.74822210392450028e-01,-1.54870855862913936e-01]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["x", ["Q0"],["Q0"]]]] +] +,"11_2": [ +[[1,2,3,5,["170abc6aefd17"],[-6.41727125364166873e-01,-4.95425975462358004e-01]],[["add", ["P2"],["P1", "P1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]]]] +,[[1,2,3,5,["170abc6aefd17"],[-6.41727125364166762e-01,-4.95425975462357948e-01]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P0"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q0"],["Q0"]]]] +] +,"12_2": [ +[[1,2,4,6,["1bee71a43d3cb"],[7.44655406244852491e-01,6.41315024830592328e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P3"]]]] +,[[1,2,4,6,["1bee71a43d3cb"],[7.44655406244852491e-01,6.41315024830592328e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P3"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q0"],["Q0"]]]] +] +,"13_2": [ +[[1,2,4,6,["c335f4196d9e"],[-2.88625171623649646e-01,-3.17759046997843630e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P3"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +,[[1,2,4,6,["c335f4196d9e"],[-2.88625171623649535e-01,-3.17759046997843742e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P3"]],["x", ["Q0"],["Q0"]]]] +] +,"14_2": [ +[[2,0,0,2,["ba2e43527cef"],[4.02978446523274692e-01,-7.23160053854092627e-02]],[["x", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,3,["ba2e43527cef"],[4.02978446523274692e-01,-7.23160053854092627e-02]],[["x", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]]]] +] +,"15_2": [ +[[2,0,0,2,["d4a671872f1f"],[2.67572505081633660e-01,3.83504778061658003e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]]]] +,[[2,0,0,3,["d4a671872f1f"],[2.67572505081633660e-01,3.83504778061658003e-01]],[["x", ["Q0"],["Q0"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"16_2": [ +[[2,1,1,2,["a6a9abe424f3"],[1.00145497688299084e-01,-3.52547449378692868e-01]],[["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,1,1,2,["a6a9abe424f3"],[1.00145497688299084e-01,-3.52547449378692868e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q1"],["Q1", "P0"]]]] +] +,"17_2": [ +[[2,1,1,2,["c2e542e62f92"],[-3.93353760349960613e-01,1.70157304316007923e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]]]] +,[[2,1,1,4,["c2e542e62f92"],[-3.93353760349960613e-01,1.70157304316007923e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"18_2": [ +[[2,0,0,3,["11648eb6bbe2b"],[6.11420782017676689e-01,-2.55607747826418763e-02]],[["h", ["Q0"],["Q0"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,3,["11648eb6bbe2b"],[6.11420782017676689e-01,-2.55607747826418763e-02]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["h", ["Q1"],["Q1"]]]] +] +,"19_2": [ +[[2,0,0,3,["9025014df7ba"],[2.04714241805956210e-01,2.42005448901186193e-01]],[["h", ["Q0"],["Q0"]],["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,0,0,3,["9025014df7ba"],[2.04714241805956265e-01,2.42005448901186138e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]],["h", ["Q1"],["Q1"]]]] +] +,"20_2": [ +[[2,0,0,3,["dd108e601d1d"],[4.72465707879013486e-01,1.14433337103188565e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]]]] +,[[2,0,0,3,["dd108e601d1d"],[4.72465707879013541e-01,1.14433337103188593e-01]],[["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]]]] +] +,"21_2": [ +[[2,0,0,3,["126c365107094"],[5.92467397138391472e-01,2.62934022214009244e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]]]] +,[[2,0,0,3,["126c365107094"],[5.92467397138391472e-01,2.62934022214009244e-01]],[["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"22_2": [ +[[2,0,0,3,["10635e5e8a6db"],[3.66077655247273426e-01,-4.45491714911118164e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +,[[2,0,0,3,["10635e5e8a6db"],[3.66077655247273315e-01,-4.45491714911118108e-01]],[["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]]]] +] +,"23_2": [ +[[2,0,0,3,["a7b37651a72b"],[3.13443299174714085e-01,-1.94295766633558908e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]]]] +,[[2,0,0,3,["a7b37651a72b"],[3.13443299174714196e-01,-1.94295766633558881e-01]],[["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]]]] +] +,"24_2": [ +[[2,0,0,3,["e1ba8c939ba4"],[4.92246470150813520e-01,-6.39466570559793501e-02]],[["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,3,["e1ba8c939ba4"],[4.92246470150813520e-01,-6.39466570559793501e-02]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]]]] +] +,"25_2": [ +[[2,0,0,3,["c1a8c73ee4fa"],[2.92553538272223412e-01,3.09467703524959392e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,3,["c1a8c73ee4fa"],[2.92553538272223412e-01,3.09467703524959392e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"26_2": [ +[[2,1,2,3,["1207dc9a84f89"],[-6.28018317738627596e-01,-8.97515741507558529e-02]],[["add", ["P1"],["P0", "P0"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,1,2,3,["1207dc9a84f89"],[-6.28018317738627596e-01,-8.97515741507558529e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q1"],["Q1", "P1"]]]] +] +,"27_2": [ +[[2,1,2,3,["f19ed2779e4f"],[-4.57233476165699093e-01,-2.70643535172195249e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P1"]]]] +,[[2,1,2,5,["f19ed2779e4f"],[-4.57233476165699093e-01,-2.70643535172195249e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"28_2": [ +[[2,1,1,3,["1a81b4fb7f6b5"],[-1.27064046841455169e-01,9.23924053664822109e-01]],[["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["x", ["Q1"],["Q1"]]]] +,[[2,1,1,4,["1a81b4fb7f6b5"],[-1.27064046841455169e-01,9.23924053664822109e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +] +,"29_2": [ +[[2,1,1,3,["1a1bf525df70b"],[-1.06033579476926265e-01,9.12496156500379629e-01]],[["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,1,4,["1a1bf525df70b"],[-1.06033579476926265e-01,9.12496156500379629e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["x", ["Q1"],["Q1"]]]] +] +,"30_2": [ +[[2,1,1,3,["a4eb509eda88"],[-2.97625564677612142e-01,2.07224843261055863e-01]],[["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,1,1,3,["a4eb509eda88"],[-2.97625564677612142e-01,2.07224843261055863e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]]]] +] +,"31_2": [ +[[2,1,1,3,["1819ce0cf3f41"],[-8.36196316123303585e-01,-1.40824112729210082e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,1,3,["1819ce0cf3f41"],[-8.36196316123303585e-01,-1.40824112729210082e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"32_2": [ +[[2,1,1,3,["eb710d9a71d5"],[5.07619057058527501e-01,1.01878559238475636e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]]]] +,[[2,1,1,4,["eb710d9a71d5"],[5.07619057058527501e-01,1.01878559238475636e-01]],[["x", ["Q0"],["Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"33_2": [ +[[2,2,3,3,["e056fe7031c3"],[-3.29935816638865897e-01,-3.66763339515337183e-01]],[["add", ["P2"],["P0", "P1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,3,3,["e056fe7031c3"],[-3.29935816638865897e-01,-3.66763339515337183e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q1"],["Q1", "P2"]]]] +] +,"34_2": [ +[[2,2,3,3,["1264f8d843fae"],[-6.46427114379080070e-01,-3.15419523760087639e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +,[[2,2,3,5,["1264f8d843fae"],[-6.46427114379080070e-01,-3.15419523760087639e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"35_2": [ +[[2,0,0,4,["bcc5aad19913"],[-3.94700581836206099e-01,-1.28574297981211894e-01]],[["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,0,0,4,["bcc5aad19913"],[-3.94700581836205933e-01,-1.28574297981211894e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]],["h", ["Q1"],["Q1"]]]] +] +,"36_2": [ +[[2,0,0,4,["132106926384f"],[6.73034479332706881e-01,-3.19931652392527882e-03]],[["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]]]] +,[[2,0,0,4,["132106926384f"],[6.73034479332706881e-01,-3.19931652392527882e-03]],[["x", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]]]] +] +,"37_2": [ +[[2,0,0,4,["f9af42cda15f"],[2.39616834211689611e-01,-4.94017357896040843e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +,[[2,0,0,4,["f9af42cda15f"],[2.39616834211689667e-01,-4.94017357896040843e-01]],[["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]]]] +] +,"38_2": [ +[[2,0,0,4,["d2be00337da5"],[4.39904120210297900e-01,-1.45770123648636174e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]]]] +,[[2,0,0,4,["d2be00337da5"],[4.39904120210297900e-01,-1.45770123648636118e-01]],[["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]]]] +] +,"39_2": [ +[[2,0,0,4,["7e74af8e7ccb"],[2.76755224540641498e-01,-2.71038154712245488e-02]],[["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,4,["7e74af8e7ccb"],[2.76755224540641498e-01,-2.71038154712245488e-02]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]]]] +] +,"40_2": [ +[[2,0,0,4,["1296c27e14c3d"],[5.24914166953547978e-01,3.90169291330624612e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]],["x", ["Q1"],["Q1"]]]] +,[[2,0,0,4,["1296c27e14c3e"],[5.24914166953548089e-01,3.90169291330624612e-01]],[["h", ["Q1"],["Q1"]],["x", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]]]] +] +,"41_2": [ +[[2,0,0,4,["ec7172195b64"],[5.18640932175366887e-01,-3.67875690484726903e-02]],[["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]]]] +,[[2,0,0,4,["ec7172195b64"],[5.18640932175366887e-01,-3.67875690484727041e-02]],[["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]]]] +] +,"42_2": [ +[[2,0,0,4,["137bee14e04b3"],[5.46292172842038015e-01,4.14154928365670527e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]]]] +,[[2,0,0,4,["137bee14e04b3"],[5.46292172842038015e-01,4.14154928365670583e-01]],[["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"43_2": [ +[[2,0,0,4,["ad54a315dcd2"],[-3.20744297410717749e-01,-2.05923662368855565e-01]],[["h", ["Q1"],["Q1"]],["x", ["Q1"],["Q1"]],["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,0,0,4,["ad54a315dcd2"],[-3.20744297410717805e-01,-2.05923662368855565e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]],["x", ["Q1"],["Q1"]],["h", ["Q1"],["Q1"]]]] +] +,"44_2": [ +[[2,0,0,4,["16b8b1d1b770f"],[7.95386176674361622e-01,8.04102857176419439e-02]],[["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,4,["16b8b1d1b770f"],[7.95386176674361622e-01,8.04102857176419439e-02]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q0"],["Q0"]]]] +] +,"45_2": [ +[[2,0,0,4,["e0416a45ff26"],[3.44046494932764180e-01,-3.53301779009805916e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,4,["e0416a45ff26"],[3.44046494932764180e-01,-3.53301779009805916e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"46_2": [ +[[2,0,0,4,["14b9a0a2e5d95"],[6.95934241526035446e-01,-2.17733804881456161e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,4,["14b9a0a2e5d95"],[6.95934241526035446e-01,-2.17733804881456161e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"47_2": [ +[[2,0,0,4,["19403bcb53fdd"],[5.82570985287794829e-01,6.70769880988775435e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,0,0,4,["19403bcb53fdd"],[5.82570985287794829e-01,6.70769880988775435e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +] +,"48_2": [ +[[2,0,0,4,["f227ec39545c"],[3.14160074283455826e-01,4.29961260963855119e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,4,["f227ec39545c"],[3.14160074283455826e-01,4.29961260963855119e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"49_2": [ +[[2,0,0,4,["8e99d5137822"],[3.06451128042800058e-01,-6.64967919579081412e-02]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,0,0,4,["8e99d5137822"],[3.06451128042800058e-01,-6.64967919579081412e-02]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +] +,"50_2": [ +[[2,1,2,4,["d0b5d3937e00"],[-3.73900020208510209e-01,-2.66161373279159841e-01]],[["add", ["P1"],["P0", "P0"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["x", ["Q1"],["Q1"]]]] +,[[2,1,2,5,["d0b5d3937e00"],[-3.73900020208510209e-01,-2.66161373279159841e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +] +,"51_2": [ +[[2,1,2,4,["c801c81001f4"],[-3.66283501642580500e-01,-2.43470713612538414e-01]],[["add", ["P1"],["P0", "P0"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,2,5,["c801c81001f4"],[-3.66283501642580500e-01,-2.43470713612538414e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["x", ["Q1"],["Q1"]]]] +] +,"52_2": [ +[[2,1,2,4,["12220e5294dc5"],[-5.88707368963910294e-01,-2.45899888306207931e-01]],[["add", ["P1"],["P0", "P0"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,1,2,4,["12220e5294dc5"],[-5.88707368963910294e-01,-2.45899888306207931e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P1"]]]] +] +,"53_2": [ +[[2,1,2,4,["24b281e1f21a"],[7.06546289869234567e-02,3.89887609726142781e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,2,4,["24b281e1f21a"],[7.06546289869234567e-02,3.89887609726142781e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"54_2": [ +[[2,1,2,4,["1154b3dff5cd8"],[-4.43243772721956919e-01,-4.18761798849057731e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]]]] +,[[2,1,2,5,["1154b3dff5cd8"],[-4.43243772721956919e-01,-4.18761798849057731e-01]],[["add", ["P1"],["P0", "P0"]],["x", ["Q0"],["Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"55_2": [ +[[2,1,1,4,["b72446ac1ef6"],[-2.94617062780019312e-01,2.74580674291240279e-01]],[["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,1,4,["b72446ac1ef6"],[-2.94617062780019312e-01,2.74580674291240279e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]],["h", ["Q1"],["Q1"]]]] +] +,"56_2": [ +[[2,1,1,4,["65a10fff17e8"],[1.18220560156663906e-01,1.89655962349406626e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]]]] +,[[2,1,1,4,["65a10fff17e8"],[1.18220560156663879e-01,1.89655962349406709e-01]],[["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"57_2": [ +[[2,1,1,4,["dfe0a0886087"],[-4.26774656237966954e-01,2.45426608979808170e-01]],[["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P0"]]]] +,[[2,1,1,4,["dfe0a0886087"],[-4.26774656237966954e-01,2.45426608979808253e-01]],[["rz", ["Q0"],["Q0", "P0"]],["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"58_2": [ +[[2,1,1,4,["31984a83f8da"],[-2.33596621791979930e-02,1.06529232512171460e-01]],[["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,1,4,["31984a83f8da"],[-2.33596621791979930e-02,1.06529232512171460e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]],["h", ["Q1"],["Q1"]]]] +] +,"59_2": [ +[[2,1,1,4,["bc38374e6cec"],[-3.05489421296612607e-01,2.79264774619253975e-01]],[["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,1,1,4,["bc38374e6cec"],[-3.05489421296612607e-01,2.79264774619253975e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P0"]],["x", ["Q1"],["Q1"]]]] +] +,"60_2": [ +[[2,1,1,4,["696abeea1393"],[-2.17883328889995925e-01,-7.91502507536800959e-02]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,1,4,["696abeea1393"],[-2.17883328889995925e-01,-7.91502507536800959e-02]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"61_2": [ +[[2,1,1,4,["68b145ff45e9"],[-1.63196547744800913e-01,-1.62384362412979460e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]]]] +,[[2,1,1,4,["68b145ff45e9"],[-1.63196547744800913e-01,-1.62384362412979460e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]],["x", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"62_2": [ +[[2,1,1,4,["11740b422996b"],[-5.53770327587918665e-01,-2.65399151150483015e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,1,4,["11740b422996b"],[-5.53770327587918665e-01,-2.65399151150483015e-01]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"63_2": [ +[[2,2,3,4,["14904594c5a54"],[-3.59075791128417476e-01,6.28124182668194142e-01]],[["add", ["P2"],["P0", "P1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q1"],["Q1"]]]] +,[[2,2,3,5,["14904594c5a54"],[-3.59075791128417476e-01,6.28124182668194142e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +] +,"64_2": [ +[[2,2,3,4,["145ecfc4176cb"],[-3.35694306132104714e-01,6.33241169138646365e-01]],[["add", ["P2"],["P0", "P1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["145ecfc4176cb"],[-3.35694306132104714e-01,6.33241169138646365e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q1"],["Q1"]]]] +] +,"65_2": [ +[[2,2,3,4,["127dac63c91ee"],[-6.50364020067731863e-01,1.71884851209546108e-02]],[["add", ["P2"],["P0", "P1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,3,4,["127dac63c91ee"],[-6.50364020067731863e-01,1.71884851209546108e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +] +,"66_2": [ +[[2,2,3,4,["1390ceafbc83b"],[-6.81567263431638426e-01,-9.67876228023531182e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,4,["1390ceafbc83b"],[-6.81567263431638426e-01,-9.67876228023531182e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"67_2": [ +[[2,2,3,4,["6d420eed73be"],[1.47802058046897111e-01,-1.89419867032258354e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]]]] +,[[2,2,3,5,["6d420eed73be"],[1.47802058046897111e-01,-1.89419867032258354e-01]],[["add", ["P2"],["P0", "P1"]],["x", ["Q0"],["Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"68_2": [ +[[2,2,2,4,["17dec7de85eeb"],[-8.37920938533132320e-01,-5.70277199374577409e-02]],[["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,2,4,["17dec7de85eeb"],[-8.37920938533132209e-01,-5.70277199374577409e-02]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P1"]]]] +] +,"69_2": [ +[[2,2,2,4,["1193bd92fc0fe"],[8.26700808276732563e-02,-6.12889249263151692e-01]],[["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,2,4,["1193bd92fc0fe"],[8.26700808276732563e-02,-6.12889249263151692e-01]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P1"]]]] +] +,"70_2": [ +[[2,1,2,5,["e9d20945c669"],[-5.09462921753444431e-01,-6.94631106518156793e-02]],[["add", ["P1"],["P0", "P0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,2,5,["e9d20945c669"],[-5.09462921753444431e-01,-6.94631106518156793e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]],["h", ["Q1"],["Q1"]]]] +] +,"71_2": [ +[[2,1,2,5,["14479fcdd00f2"],[-6.33379879392728329e-01,-3.28568089450425704e-01]],[["add", ["P1"],["P0", "P0"]],["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]]]] +,[[2,1,2,5,["14479fcdd00f2"],[-6.33379879392728329e-01,-3.28568089450425593e-01]],[["add", ["P1"],["P0", "P0"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"72_2": [ +[[2,1,2,5,["bfb1511b2845"],[-2.18384136228260944e-01,3.60557150472222698e-01]],[["add", ["P1"],["P0", "P0"]],["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P1"]]]] +,[[2,1,2,5,["bfb1511b2845"],[-2.18384136228260944e-01,3.60557150472222587e-01]],[["add", ["P1"],["P0", "P0"]],["rz", ["Q0"],["Q0", "P1"]],["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"73_2": [ +[[2,1,2,5,["9764fb415715"],[-3.01434639197742160e-01,-1.41325305333676737e-01]],[["add", ["P1"],["P0", "P0"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,2,5,["9764fb415715"],[-3.01434639197742160e-01,-1.41325305333676737e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]],["h", ["Q1"],["Q1"]]]] +] +,"74_2": [ +[[2,1,2,5,["10661405dc5bd"],[-4.87640608457623859e-01,-3.08402258669036367e-01]],[["add", ["P1"],["P0", "P0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,1,2,5,["10661405dc5bd"],[-4.87640608457623859e-01,-3.08402258669036367e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P1"]],["x", ["Q1"],["Q1"]]]] +] +,"75_2": [ +[[2,1,2,5,["a007fd046d39"],[-3.42470273468699071e-01,8.09716433883308079e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,2,5,["a007fd046d39"],[-3.42470273468699071e-01,8.09716433883308079e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P1"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"76_2": [ +[[2,1,2,5,["18c4ce01fc448"],[-8.70295832330430841e-01,-4.52916989873856923e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]]]] +,[[2,1,2,5,["18c4ce01fc448"],[-8.70295832330430841e-01,-4.52916989873856923e-02]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P1"]],["x", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"77_2": [ +[[2,1,2,5,["6d159ac2b352"],[-1.00910742210391702e-01,-2.17621259493809616e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,1,2,5,["6d159ac2b352"],[-1.00910742210391702e-01,-2.17621259493809616e-01]],[["add", ["P1"],["P0", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"78_2": [ +[[2,2,3,5,["11c81f2f23829"],[-5.95102040503439955e-01,1.93073929112878018e-01]],[["add", ["P2"],["P0", "P1"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["11c81f2f23829"],[-5.95102040503439955e-01,1.93073929112878018e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]],["h", ["Q1"],["Q1"]]]] +] +,"79_2": [ +[[2,2,3,5,["927eac22f33d"],[-3.17750259927077283e-01,-5.30329843346062924e-02]],[["add", ["P2"],["P0", "P1"]],["h", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]]]] +,[[2,2,3,5,["927eac22f33d"],[-3.17750259927077505e-01,-5.30329843346063201e-02]],[["add", ["P2"],["P0", "P1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"80_2": [ +[[2,2,3,5,["138a4fb763d50"],[-5.16879539388334308e-01,4.53330895242939680e-01]],[["add", ["P2"],["P0", "P1"]],["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +,[[2,2,3,5,["138a4fb763d50"],[-5.16879539388334197e-01,4.53330895242939680e-01]],[["add", ["P2"],["P0", "P1"]],["rz", ["Q0"],["Q0", "P2"]],["h", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["h", ["Q0"],["Q0"]]]] +] +,"81_2": [ +[[2,2,3,5,["6450572c5bf9"],[-2.20589845000729756e-01,-1.07109193331078600e-03]],[["add", ["P2"],["P0", "P1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]],["h", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["6450572c5bf9"],[-2.20589845000729756e-01,-1.07109193331078600e-03]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["h", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]],["h", ["Q1"],["Q1"]]]] +] +,"82_2": [ +[[2,2,3,5,["10ce7a507e845"],[-5.90077893505632778e-01,3.84309286505906678e-02]],[["add", ["P2"],["P0", "P1"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,3,5,["10ce7a507e845"],[-5.90077893505632778e-01,3.84309286505906678e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["rz", ["Q1"],["Q1", "P2"]],["x", ["Q1"],["Q1"]]]] +] +,"83_2": [ +[[2,2,3,5,["bde687f4cf55"],[-4.17320078160656083e-01,-1.51681489094598332e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["bde687f4cf55"],[-4.17320078160656083e-01,-1.51681489094598332e-02]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"84_2": [ +[[2,2,3,5,["150b7ef280a81"],[-7.20303351382400203e-01,-1.71557410665941656e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]]]] +,[[2,2,3,5,["150b7ef280a81"],[-7.20303351382400203e-01,-1.71557410665941656e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]],["x", ["Q0"],["Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"85_2": [ +[[2,2,3,5,["12eb888c7c7f2"],[-5.49483482926825695e-01,-3.75780909684685471e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["12eb888c7c7f2"],[-5.49483482926825695e-01,-3.75780909684685471e-01]],[["add", ["P2"],["P0", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"86_2": [ +[[2,2,3,5,["5fe144714b86"],[-1.76300178602371238e-01,1.15640380757876193e-01]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["5fe144714b86"],[-1.76300178602371183e-01,1.15640380757876138e-01]],[["add", ["P2"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]]]] +] +,"87_2": [ +[[2,2,3,5,["a8eb6c2da5bf"],[6.95034542710955550e-02,-3.64897852777678444e-01]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,3,5,["a8eb6c2da5bf"],[6.95034542710956105e-02,-3.64897852777678389e-01]],[["add", ["P2"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]]]] +] +,"88_2": [ +[[2,2,3,5,["c5a4d6bcca20"],[-4.31184363134475446e-01,5.45679671823712797e-02]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["c5a4d6bcca20"],[-4.31184363134475557e-01,5.45679671823713353e-02]],[["add", ["P2"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]]]] +] +,"89_2": [ +[[2,2,3,5,["103fc9a344e83"],[1.54657964223052169e-01,-5.50400838652711166e-01]],[["add", ["P2"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,3,5,["103fc9a344e83"],[1.54657964223052086e-01,-5.50400838652711277e-01]],[["add", ["P2"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +] +,"90_2": [ +[[2,2,3,5,["5892b8ce96e6"],[-1.94694716150023317e-01,-5.57008449151208396e-03]],[["add", ["P2"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P0"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,3,5,["5892b8ce96e6"],[-1.94694716150023317e-01,-5.57008449151208396e-03]],[["add", ["P2"],["P1", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P0"]],["rz", ["Q0"],["Q0", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"91_2": [ +[[2,2,4,6,["17cd7f25e4d8b"],[8.31685679489962415e-01,9.83771067889611661e-02]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P3"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,4,6,["17cd7f25e4d8b"],[8.31685679489962415e-01,9.83771067889612078e-02]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P3"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]]]] +] +,"92_2": [ +[[2,2,4,6,["e256f182ba07"],[-2.14071514276285235e-01,4.49338014535684671e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P3"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,4,6,["e256f182ba07"],[-2.14071514276285291e-01,4.49338014535684782e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P3"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]]]] +] +,"93_2": [ +[[2,2,4,6,["3daa07b4dd16"],[1.13878785289113077e-01,-7.36155164114838390e-02]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P3"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,4,6,["3daa07b4dd16"],[1.13878785289113271e-01,-7.36155164114839222e-02]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P3"]]]] +] +,"94_2": [ +[[2,2,4,6,["233ba446ea1d"],[2.57413027802795152e-02,-7.30769889702292397e-02]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["rz", ["Q1"],["Q1", "P3"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +,[[2,2,4,6,["233ba446ea1d"],[2.57413027802796124e-02,-7.30769889702292119e-02]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P3"]]]] +] +,"95_2": [ +[[2,2,4,6,["182683a34c383"],[8.38051460450548014e-01,1.40324302792633554e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["rz", ["Q1"],["Q1", "P2"]],["rz", ["Q1"],["Q1", "P3"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,2,4,6,["182683a34c383"],[8.38051460450548014e-01,1.40324302792633554e-01]],[["add", ["P2"],["P0", "P0"]],["add", ["P3"],["P1", "P1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]],["rz", ["Q0"],["Q0", "P2"]],["rz", ["Q0"],["Q0", "P3"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"96_3": [ +[[1,2,3,2,["23a4fc68c4d2"],[3.78020004326112824e-03,-7.82918252286620708e-02]],[["add", ["P2"],["P0", "P1"]],["rz", ["Q0"],["Q0", "P2"]]]] +,[[1,2,2,2,["23a4fc68c4d2"],[3.78020004326151682e-03,-7.82918252286620153e-02]],[["rz", ["Q0"],["Q0", "P0"]],["rz", ["Q0"],["Q0", "P1"]]]] +,[[1,2,2,2,["23a4fc68c4d2"],[3.78020004326151682e-03,-7.82918252286620153e-02]],[["rz", ["Q0"],["Q0", "P1"]],["rz", ["Q0"],["Q0", "P0"]]]] +] +,"97_3": [ +[[2,0,0,2,["bf95140e9959"],[4.17872959895788709e-01,-5.35801877473238569e-02]],[["x", ["Q0"],["Q0"]],["x", ["Q1"],["Q1"]]]] +,[[2,0,0,3,["bf95140e9959"],[4.17872959895788709e-01,-5.35801877473238569e-02]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,3,["bf95140e9959"],[4.17872959895788709e-01,-5.35801877473238569e-02]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["x", ["Q1"],["Q1"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +,"98_3": [ +[[2,0,0,2,["3b32578d572b"],[1.26512565405562966e-01,-3.06602521134137218e-02]],[["x", ["Q1"],["Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,2,["3b32578d572b"],[1.26512565405562966e-01,-3.06602521134137218e-02]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q1"],["Q1"]]]] +,[[2,0,0,3,["3b32578d572b"],[1.26512565405562966e-01,-3.06602521134137218e-02]],[["x", ["Q0"],["Q0"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]],["x", ["Q0"],["Q0"]]]] +] +,"99_7": [ +[[2,0,0,0,["639072adc5c0"],[2.18727073309198827e-01,9.74611226247737439e-03]],[]] +,[[2,0,0,2,["639072adc5c0"],[2.18727073309198827e-01,9.74611226247737439e-03]],[["h", ["Q0"],["Q0"]],["h", ["Q0"],["Q0"]]]] +,[[2,0,0,2,["639072adc5c0"],[2.18727073309198800e-01,9.74611226247740214e-03]],[["h", ["Q1"],["Q1"]],["h", ["Q1"],["Q1"]]]] +,[[2,0,0,2,["639072adc5c0"],[2.18727073309198827e-01,9.74611226247737439e-03]],[["x", ["Q0"],["Q0"]],["x", ["Q0"],["Q0"]]]] +,[[2,0,0,2,["639072adc5c0"],[2.18727073309198827e-01,9.74611226247737439e-03]],[["x", ["Q1"],["Q1"]],["x", ["Q1"],["Q1"]]]] +,[[2,0,0,2,["639072adc5c0"],[2.18727073309198827e-01,9.74611226247737439e-03]],[["cx", ["Q0", "Q1"],["Q0", "Q1"]],["cx", ["Q0", "Q1"],["Q0", "Q1"]]]] +,[[2,0,0,2,["639072adc5c0"],[2.18727073309198827e-01,9.74611226247737439e-03]],[["cx", ["Q1", "Q0"],["Q1", "Q0"]],["cx", ["Q1", "Q0"],["Q1", "Q0"]]]] +] +} +] diff --git a/tests/taso_termination.rs b/tests/taso_termination.rs new file mode 100644 index 00000000..65d393e0 --- /dev/null +++ b/tests/taso_termination.rs @@ -0,0 +1,63 @@ +#[cfg(feature = "portmatching")] +mod require_portmatching { + use hugr::Hugr; + use rstest::{fixture, rstest}; + use tket2::{ + json::TKETDecode, + optimiser::{DefaultTasoOptimiser, TasoOptimiser}, + Circuit, + }; + use tket_json_rs::circuit_json::SerialCircuit; + + /// A set of equivalence circuit classes (ECC) + /// + /// This is the complete set of ECCs for 2-qubit circuits with up to + /// 4 gates, using the NAM gateset (CX, Rz, H). + #[fixture] + fn nam_4_2() -> DefaultTasoOptimiser { + TasoOptimiser::default_with_eccs_json_file("test_files/Nam_4_2_complete_ECC_set.json") + .unwrap() + } + + /// The following circuit + /// ┌──────────┐ ┌───────────┐ + ///q_0: ──■──┤ Rz(π/10) ├──■─────────────────────────■────■──┤ Rz(-π/10) ├ + /// │ └──────────┘┌─┴─┐┌───┐┌─────────┐┌───┐┌─┴─┐ │ └───────────┘ + ///q_1: ──┼──────────────┤ X ├┤ H ├┤ Rz(π/5) ├┤ H ├┤ X ├──┼─────────────── + /// ┌─┴─┐ └───┘└───┘└─────────┘└───┘└───┘┌─┴─┐ + ///q_2: ┤ X ├───────────────────────────────────────────┤ X ├───────────── + /// └───┘ └───┘ + #[fixture] + fn simple_circ() -> Hugr { + // The TK1 json of the circuit + let json = r#"{ + "bits": [], + "commands": [ + {"args": [["q", [0]], ["q", [2]]], "op": {"type": "CX"}}, + {"args": [["q", [0]]], "op": {"params": ["0.1"], "type": "Rz"}}, + {"args": [["q", [0]], ["q", [1]]], "op": {"type": "CX"}}, + {"args": [["q", [1]]], "op": {"type": "H"}}, + {"args": [["q", [1]]], "op": {"params": ["0.2"], "type": "Rz"}}, + {"args": [["q", [1]]], "op": {"type": "H"}}, + {"args": [["q", [0]], ["q", [1]]], "op": {"type": "CX"}}, + {"args": [["q", [0]], ["q", [2]]], "op": {"type": "CX"}}, + {"args": [["q", [0]]], "op": {"params": ["-0.1"], "type": "Rz"}}], + "created_qubits": [], + "discarded_qubits": [], + "implicit_permutation": [ + [["q", [0]], ["q", [0]]], [["q", [1]], ["q", [1]]], [["q", [2]], ["q", [2]]] + ], + "phase": "0.0", + "qubits": [["q", [0]], ["q", [1]], ["q", [2]]] + }"#; + let ser: SerialCircuit = serde_json::from_str(json).unwrap(); + ser.decode().unwrap() + } + + #[rstest] + //#[ignore = "Takes 200ms"] + fn taso_termination(simple_circ: Hugr, nam_4_2: DefaultTasoOptimiser) { + let opt_circ = nam_4_2.optimise(&simple_circ, None, 1.try_into().unwrap(), false, 10); + assert_eq!(opt_circ.commands().count(), 11); + } +}