{ "experiment": "RL-v3-Grover-2026-10", "claim": "MEASURED", "hardware": "CLASSICAL CPU SIMULATION ONLY", "seed": 20261007, "workers": 1, "python": "3.14.7", "numpy": "2.5.2", "provenance_shake256_256": { "grover_rl_test.py": "58b099c87d8110e464244b0d48861a5a5eb4f7a38e9373e49b9b9ff8f9405925", "phase3_sat_attacks.py": "495dcfcf701da895fe4bdd6c640a99adba3f1f2032713dc6927124762ed64c5e", "refracting_light_v3.py": "8015e697a2eee9e222735e83f0fff767a5a7aba82f43ab760b61a3334b9bfcfe", "refracting-light-v3-test-vectors.json": "35f5a1169563f74ff10573a14287fb88104776ece2a781d42695a005388e15e0", "REFRACTING-LIGHT-SPEC.md": "607fabddb830c6eab019343a1d8c168e0df07d5e2e8f87b62422842b05bb0148", "CHAIN-DESIGN.md": "b7c701c0e558b83e6e2a073b463b2cf62f65734cd5b376e2a170f046868c1315", "e46/include/e46/rl.hpp": "d5946721e1eb6cd01abb4af8b2c24f8c462be51b02f508acc4a180168dd0a8f0", "e46/src/rl.cpp": "446595cf038a9551ac55153d0ef9d75a3cf83bbccc3ac0563be57ebc1bba0140", "e46/tools/rl_cli.cpp": "4fcfcd0114481c227a003e6d77b764b271e47dd07dc3ac373b591e5687b9e16d" }, "encoding": "Unsigned integer in fixed-width big-endian bytes; unused high bits zero", "limitations": [ "Table oracle does not test structural quantum attacks.", "Toy w<=16 loses the 65537 multiplier modulo the word size.", "w=2 retains reference seeds 5 and 7; these exceed a two-bit word before the first step." ], "vectors": { "claim": "MEASURED", "ordinary_vectors": 6, "nonce_vectors": 1, "passed": true }, "librl_crosscheck": { "claim": "MEASURED", "library": "C++ e46::rl::rl_v3_128 via rl_cli", "word_width": 64, "exhaustive_inputs": 4096, "additional_messages": 37, "wo08_commitment_stamp_messages": 16, "python_references": [ "phase3_sat_attacks.digest_w(w=64)", "refracting_light_v3.digest" ], "mismatches": 0, "passed": true }, "widths": [ { "claim": "MEASURED", "w": 2, "output_bits": 4, "input_qubits": 12, "N": 4096, "targets": [ { "M": 307, "theta": 0.27731281141159975, "k_asymptotic": 2.86880261183374, "k_first_peak_real": 2.3321741047575553, "k_opt_theory": 2, "k_best_measured": 2, "peak_measured": 0.9664407462819262, "peak_theory": 0.966440746281926, "max_probability_error": 6.938893903907228e-16, "curve": [ { "k": 0, "measured": 0.074951171875, "theory": 0.07495117187499996, "norm_error": 0.0 }, { "k": 1, "measured": 0.5464730958919972, "theory": 0.5464730958919971, "norm_error": 0.0 }, { "k": 2, "measured": 0.9664407462819262, "theory": 0.966440746281926, "norm_error": 0.0 }, { "k": 3, "measured": 0.8689689319002974, "theory": 0.8689689319002976, "norm_error": 3.552713678800501e-15 }, { "k": 4, "measured": 0.3621866356157263, "theory": 0.3621866356157264, "norm_error": 5.551115123125783e-15 }, { "k": 5, "measured": 0.008285651853249906, "theory": 0.00828565185324998, "norm_error": 2.7755575615628914e-15 }, { "k": 6, "measured": 0.19986104671693639, "theory": 0.1998610467169357, "norm_error": 2.220446049250313e-16 } ], "target": 7, "oracle_inputs_checked": 4096 }, { "M": 257, "theta": 0.25318409112614076, "k_asymptotic": 3.1354746484581932, "k_first_peak_real": 2.602083388826153, "k_opt_theory": 3, "k_best_measured": 3, "peak_measured": 0.9599473133598003, "peak_theory": 0.9599473133598003, "max_probability_error": 1.9984014443252818e-15, "curve": [ { "k": 0, "measured": 0.062744140625, "theory": 0.06274414062500001, "norm_error": 0.0 }, { "k": 1, "measured": 0.47416561865247786, "theory": 0.4741656186524779, "norm_error": 0.0 }, { "k": 2, "measured": 0.9098951056637932, "theory": 0.9098951056637931, "norm_error": 0.0 }, { "k": 3, "measured": 0.9599473133598003, "theory": 0.9599473133598003, "norm_error": 2.220446049250313e-15 }, { "k": 4, "measured": 0.5772272678772241, "theory": 0.577227267877224, "norm_error": 2.220446049250313e-15 }, { "k": 5, "measured": 0.12184277202115992, "theory": 0.12184277202115988, "norm_error": 4.6629367034256575e-15 }, { "k": 6, "measured": 0.022272846344240746, "theory": 0.022272846344240774, "norm_error": 6.661338147750939e-16 }, { "k": 7, "measured": 0.37220452810570026, "theory": 0.3722045281057009, "norm_error": 3.774758283725532e-15 }, { "k": 8, "measured": 0.8423811438221314, "theory": 0.8423811438221334, "norm_error": 1.7763568394002505e-15 } ], "target": 13, "oracle_inputs_checked": 4096 }, { "M": 262, "theta": 0.25568967278216354, "k_asymptotic": 3.1054118770712607, "k_first_peak_real": 2.5716851206836706, "k_opt_theory": 3, "k_best_measured": 3, "peak_measured": 0.9527875548395563, "peak_theory": 0.9527875548395563, "max_probability_error": 3.3306690738754696e-16, "curve": [ { "k": 0, "measured": 0.06396484375, "theory": 0.06396484375000001, "norm_error": 0.0 }, { "k": 1, "measured": 0.48167495988309383, "theory": 0.48167495988309383, "norm_error": 0.0 }, { "k": 2, "measured": 0.9169399784722359, "theory": 0.916939978472236, "norm_error": 0.0 }, { "k": 3, "measured": 0.9527875548395563, "theory": 0.9527875548395563, "norm_error": 1.7763568394002505e-15 }, { "k": 4, "measured": 0.5548766614948359, "theory": 0.5548766614948357, "norm_error": 8.881784197001252e-16 }, { "k": 5, "measured": 0.10439538175479965, "theory": 0.10439538175479944, "norm_error": 5.329070518200751e-15 }, { "k": 6, "measured": 0.032892834948046, "theory": 0.032892834948046006, "norm_error": 3.3306690738754696e-15 }, { "k": 7, "measured": 0.40886656468396354, "theory": 0.4088665646839639, "norm_error": 4.440892098500626e-15 }, { "k": 8, "measured": 0.8721437086144088, "theory": 0.8721437086144092, "norm_error": 3.3306690738754696e-15 } ], "target": 14, "oracle_inputs_checked": 4096 }, { "M": 244, "theta": 0.24656088590471198, "k_asymptotic": 3.217917771085955, "k_first_peak_real": 2.6854126436785273, "k_opt_theory": 3, "k_best_measured": 3, "peak_measured": 0.9761271495304173, "peak_theory": 0.9761271495304175, "max_probability_error": 4.440892098500626e-16, "curve": [ { "k": 0, "measured": 0.0595703125, "theory": 0.05957031249999999, "norm_error": 0.0 }, { "k": 1, "measured": 0.454348161816597, "theory": 0.454348161816597, "norm_error": 0.0 }, { "k": 2, "measured": 0.8900459014287208, "theory": 0.8900459014287205, "norm_error": 0.0 }, { "k": 3, "measured": 0.9761271495304173, "theory": 0.9761271495304175, "norm_error": 1.2212453270876722e-15 }, { "k": 4, "measured": 0.6354332336784809, "theory": 0.6354332336784811, "norm_error": 2.886579864025407e-15 }, { "k": 5, "measured": 0.17334413890236514, "theory": 0.1733441389023655, "norm_error": 2.7755575615628914e-15 }, { "k": 6, "measured": 0.004052060246524722, "theory": 0.004052060246524703, "norm_error": 1.3322676295501878e-15 }, { "k": 7, "measured": 0.2793014523081282, "theory": 0.27930145230812786, "norm_error": 4.218847493575595e-15 }, { "k": 8, "measured": 0.7523733356274163, "theory": 0.7523733356274158, "norm_error": 2.6645352591003757e-15 } ], "target": 5, "oracle_inputs_checked": 4096 }, { "M": 298, "theta": 0.27311192216085495, "k_asymptotic": 2.9118012176550043, "k_first_peak_real": 2.3757373796918015, "k_opt_theory": 2, "k_best_measured": 2, "peak_measured": 0.9584660028195131, "peak_theory": 0.9584660028195131, "max_probability_error": 2.498001805406602e-16, "curve": [ { "k": 0, "measured": 0.07275390625, "theory": 0.07275390625, "norm_error": 0.0 }, { "k": 1, "measured": 0.5339115504175425, "theory": 0.5339115504175426, "norm_error": 0.0 }, { "k": 2, "measured": 0.9584660028195131, "theory": 0.9584660028195131, "norm_error": 0.0 }, { "k": 3, "measured": 0.8881649026862968, "theory": 0.8881649026862967, "norm_error": 3.1086244689504383e-15 }, { "k": 4, "measured": 0.39888931761354196, "theory": 0.39888931761354196, "norm_error": 9.992007221626409e-16 }, { "k": 5, "measured": 0.018749813061152684, "theory": 0.01874981306115269, "norm_error": 4.218847493575595e-15 }, { "k": 6, "measured": 0.15805848067571657, "theory": 0.15805848067571682, "norm_error": 1.7763568394002505e-15 } ], "target": 1, "oracle_inputs_checked": 4096 } ], "oracle": "table oracle, not a gate-level circuit", "output_histogram": [ 260, 298, 277, 265, 284, 244, 204, 307, 229, 267, 213, 272, 238, 257, 262, 219 ], "seconds": 2.949287249999543, "passed": true }, { "claim": "MEASURED", "w": 3, "output_bits": 6, "input_qubits": 12, "N": 4096, "targets": [ { "M": 51, "theta": 0.11181768662646982, "k_asymptotic": 7.03857539992079, "k_first_peak_real": 6.523917119847894, "k_opt_theory": 7, "k_best_measured": 7, "peak_measured": 0.9887071254487521, "peak_theory": 0.9887071254487527, "max_probability_error": 6.661338147750939e-16, "curve": [ { "k": 0, "measured": 0.012451171875, "theory": 0.012451171875000002, "norm_error": 0.0 }, { "k": 1, "measured": 0.10837067174725235, "theory": 0.10837067174725235, "norm_error": 0.0 }, { "k": 2, "measured": 0.28133863760756905, "theory": 0.28133863760756905, "norm_error": 0.0 }, { "k": 3, "measured": 0.497325655739487, "theory": 0.4973256557394869, "norm_error": 2.220446049250313e-16 }, { "k": 4, "measured": 0.713838819662671, "theory": 0.7138388196626708, "norm_error": 6.328271240363392e-15 }, { "k": 5, "measured": 0.8882817098981958, "theory": 0.8882817098981958, "norm_error": 4.218847493575595e-15 }, { "k": 6, "measured": 0.9863347386993102, "theory": 0.9863347386993105, "norm_error": 2.886579864025407e-15 }, { "k": 7, "measured": 0.9887071254487521, "theory": 0.9887071254487527, "norm_error": 2.3314683517128287e-15 }, { "k": 8, "measured": 0.8949321309454761, "theory": 0.8949321309454766, "norm_error": 4.440892098500626e-16 }, { "k": 9, "measured": 0.7234588828550523, "theory": 0.7234588828550526, "norm_error": 0.0 }, { "k": 10, "measured": 0.5080227267459602, "theory": 0.5080227267459606, "norm_error": 5.551115123125783e-16 }, { "k": 11, "measured": 0.29100819347197215, "theory": 0.2910081934719725, "norm_error": 3.552713678800501e-15 }, { "k": 12, "measured": 0.11511034103723607, "theory": 0.11511034103723614, "norm_error": 7.66053886991358e-15 }, { "k": 13, "measured": 0.014935003895357513, "theory": 0.014935003895357526, "norm_error": 2.220446049250313e-15 }, { "k": 14, "measured": 0.010190501877882976, "theory": 0.010190501877882964, "norm_error": 3.552713678800501e-15 }, { "k": 15, "measured": 0.10181025997612922, "theory": 0.1018102599761294, "norm_error": 1.9984014443252818e-15 }, { "k": 16, "measured": 0.27176916794832284, "theory": 0.2717691679483231, "norm_error": 1.1102230246251565e-16 } ], "target": 37, "oracle_inputs_checked": 4096 }, { "M": 73, "theta": 0.13389981856077812, "k_asymptotic": 5.883129731185366, "k_first_peak_real": 5.36556555370499, "k_opt_theory": 5, "k_best_measured": 5, "peak_measured": 0.9904464975339374, "peak_theory": 0.9904464975339377, "max_probability_error": 3.3306690738754696e-16, "curve": [ { "k": 0, "measured": 0.017822265625, "theory": 0.017822265624999997, "norm_error": 0.0 }, { "k": 1, "measured": 0.15286777005530894, "theory": 0.1528677700553089, "norm_error": 0.0 }, { "k": 2, "measured": 0.385136028161009, "theory": 0.38513602816100906, "norm_error": 0.0 }, { "k": 3, "measured": 0.6495747120495833, "theory": 0.6495747120495832, "norm_error": 4.440892098500626e-16 }, { "k": 4, "measured": 0.8721213901512525, "theory": 0.8721213901512523, "norm_error": 3.3306690738754696e-15 }, { "k": 5, "measured": 0.9904464975339374, "theory": 0.9904464975339377, "norm_error": 3.3306690738754696e-15 }, { "k": 6, "measured": 0.9714102339246588, "theory": 0.971410233924659, "norm_error": 4.440892098500626e-16 }, { "k": 7, "measured": 0.8203441640936473, "theory": 0.8203441640936475, "norm_error": 1.2212453270876722e-15 }, { "k": 8, "measured": 0.5795579845454021, "theory": 0.5795579845454017, "norm_error": 5.551115123125783e-15 }, { "k": 9, "measured": 0.3164896725210086, "theory": 0.3164896725210087, "norm_error": 2.220446049250313e-15 }, { "k": 10, "measured": 0.10481785389690562, "theory": 0.10481785389690572, "norm_error": 1.4432899320127035e-15 }, { "k": 11, "measured": 0.0038263269115685196, "theory": 0.0038263269115685074, "norm_error": 4.884981308350689e-15 }, { "k": 12, "measured": 0.04180020456923058, "theory": 0.04180020456923054, "norm_error": 1.7763568394002505e-15 } ], "target": 12, "oracle_inputs_checked": 4096 }, { "M": 55, "theta": 0.11613901105865355, "k_asymptotic": 6.777796271890465, "k_first_peak_real": 6.262569753592955, "k_opt_theory": 6, "k_best_measured": 6, "peak_measured": 0.9962849292738309, "peak_theory": 0.9962849292738313, "max_probability_error": 4.440892098500626e-16, "curve": [ { "k": 0, "measured": 0.013427734375, "theory": 0.013427734375, "norm_error": 0.0 }, { "k": 1, "measured": 0.11656104936264455, "theory": 0.11656104936264457, "norm_error": 0.0 }, { "k": 2, "measured": 0.3009676568669073, "theory": 0.30096765686690735, "norm_error": 0.0 }, { "k": 3, "measured": 0.5275609379389852, "theory": 0.5275609379389854, "norm_error": 1.2212453270876722e-15 }, { "k": 4, "measured": 0.7483124333306461, "theory": 0.7483124333306462, "norm_error": 2.220446049250313e-15 }, { "k": 5, "measured": 0.9164319021740143, "theory": 0.916431902174014, "norm_error": 3.9968028886505635e-15 }, { "k": 6, "measured": 0.9962849292738309, "theory": 0.9962849292738313, "norm_error": 2.6645352591003757e-15 }, { "k": 7, "measured": 0.9709459560267444, "theory": 0.9709459560267444, "norm_error": 1.3322676295501878e-15 }, { "k": 8, "measured": 0.8457858029541373, "theory": 0.8457858029541377, "norm_error": 1.7763568394002505e-15 }, { "k": 9, "measured": 0.64733327657185, "theory": 0.6473332765718501, "norm_error": 3.1086244689504383e-15 }, { "k": 10, "measured": 0.4176521531355803, "theory": 0.4176521531355804, "norm_error": 4.884981308350689e-15 }, { "k": 11, "measured": 0.20542538751872624, "theory": 0.20542538751872633, "norm_error": 1.2212453270876722e-15 }, { "k": 12, "measured": 0.055636328369524965, "theory": 0.05563632836952501, "norm_error": 2.1094237467877974e-15 }, { "k": 13, "measured": 3.4097679330186026e-05, "theory": 3.409767933018982e-05, "norm_error": 7.549516567451064e-15 }, { "k": 14, "measured": 0.0504040822794727, "theory": 0.0504040822794724, "norm_error": 5.10702591327572e-15 } ], "target": 35, "oracle_inputs_checked": 4096 }, { "M": 60, "theta": 0.12132817968131081, "k_asymptotic": 6.489245881557778, "k_first_peak_real": 5.973336742217931, "k_opt_theory": 6, "k_best_measured": 6, "peak_measured": 0.9999581395668476, "peak_theory": 0.9999581395668475, "max_probability_error": 5.551115123125783e-16, "curve": [ { "k": 0, "measured": 0.0146484375, "theory": 0.014648437500000002, "norm_error": 0.0 }, { "k": 1, "measured": 0.12673638761043549, "theory": 0.1267363876104355, "norm_error": 0.0 }, { "k": 2, "measured": 0.32502649796128935, "theory": 0.3250264979612893, "norm_error": 0.0 }, { "k": 3, "measured": 0.5637252990066604, "theory": 0.5637252990066606, "norm_error": 2.886579864025407e-15 }, { "k": 4, "measured": 0.7877072665488302, "theory": 0.7877072665488304, "norm_error": 3.774758283725532e-15 }, { "k": 5, "measured": 0.945245608004322, "theory": 0.9452456080043219, "norm_error": 1.7763568394002505e-15 }, { "k": 6, "measured": 0.9999581395668476, "theory": 0.9999581395668475, "norm_error": 4.3298697960381105e-15 }, { "k": 7, "measured": 0.9392094522215323, "theory": 0.9392094522215326, "norm_error": 2.4424906541753444e-15 }, { "k": 8, "measured": 0.7770289554985793, "theory": 0.7770289554985796, "norm_error": 4.884981308350689e-15 }, { "k": 9, "measured": 0.5508709007697818, "theory": 0.5508709007697824, "norm_error": 6.661338147750939e-16 }, { "k": 10, "measured": 0.3129646300505269, "theory": 0.3129646300505272, "norm_error": 5.551115123125783e-15 }, { "k": 11, "measured": 0.11825263918029023, "theory": 0.11825263918029039, "norm_error": 6.217248937900877e-15 }, { "k": 12, "measured": 0.011702060450042361, "theory": 0.011702060450042401, "norm_error": 6.661338147750939e-16 }, { "k": 13, "measured": 0.017919873368485436, "theory": 0.0179198733684854, "norm_error": 4.884981308350689e-15 }, { "k": 14, "measured": 0.13547012519940357, "theory": 0.13547012519940363, "norm_error": 3.6637359812630166e-15 } ], "target": 16, "oracle_inputs_checked": 4096 }, { "M": 68, "theta": 0.1292062511986234, "k_asymptotic": 6.095585102783619, "k_first_peak_real": 5.5786390450264545, "k_opt_theory": 6, "k_best_measured": 6, "peak_measured": 0.9881908504589548, "peak_theory": 0.988190850458955, "max_probability_error": 1.1102230246251565e-15, "curve": [ { "k": 0, "measured": 0.0166015625, "theory": 0.0166015625, "norm_error": 0.0 }, { "k": 1, "measured": 0.14287258684635162, "theory": 0.14287258684635162, "norm_error": 0.0 }, { "k": 2, "measured": 0.36243072340244, "theory": 0.36243072340244004, "norm_error": 0.0 }, { "k": 3, "measured": 0.6179240474291343, "theory": 0.6179240474291343, "norm_error": 2.6645352591003757e-15 }, { "k": 4, "measured": 0.8426138166471836, "theory": 0.8426138166471836, "norm_error": 3.9968028886505635e-15 }, { "k": 5, "measured": 0.9778076458142211, "theory": 0.977807645814221, "norm_error": 2.4424906541753444e-15 }, { "k": 6, "measured": 0.9881908504589548, "theory": 0.988190850458955, "norm_error": 0.0 }, { "k": 7, "measured": 0.8710511796000445, "theory": 0.8710511796000446, "norm_error": 1.3322676295501878e-15 }, { "k": 8, "measured": 0.6569872969556548, "theory": 0.6569872969556548, "norm_error": 6.661338147750939e-16 }, { "k": 9, "measured": 0.4019159445757941, "theory": 0.4019159445757942, "norm_error": 3.219646771412954e-15 }, { "k": 10, "measured": 0.17246563932738715, "theory": 0.17246563932738693, "norm_error": 7.105427357601002e-15 }, { "k": 11, "measured": 0.028572290871498204, "theory": 0.028572290871498294, "norm_error": 1.6653345369377348e-15 }, { "k": 12, "measured": 0.007823030437014685, "theory": 0.007823030437014744, "norm_error": 3.552713678800501e-15 }, { "k": 13, "measured": 0.11563788044486409, "theory": 0.11563788044486419, "norm_error": 8.881784197001252e-16 }, { "k": 14, "measured": 0.32385396221333873, "theory": 0.32385396221333984, "norm_error": 4.107825191113079e-15 } ], "target": 13, "oracle_inputs_checked": 4096 } ], "oracle": "table oracle, not a gate-level circuit", "output_histogram": [ 59, 69, 65, 58, 80, 62, 59, 67, 70, 63, 64, 65, 73, 68, 56, 68, 60, 61, 69, 63, 60, 65, 60, 58, 55, 57, 74, 75, 67, 70, 61, 60, 67, 49, 81, 55, 64, 51, 54, 70, 65, 65, 56, 76, 73, 60, 59, 64, 56, 63, 47, 74, 68, 56, 64, 67, 59, 65, 67, 64, 67, 70, 65, 74 ], "seconds": 2.9618159590008872, "passed": true }, { "claim": "MEASURED", "w": 4, "output_bits": 8, "input_qubits": 12, "N": 4096, "targets": [ { "M": 16, "theta": 0.06254076179649139, "k_asymptotic": 12.566370614359172, "k_first_peak_real": 12.058180310517262, "k_opt_theory": 12, "k_best_measured": 12, "peak_measured": 0.999947042103274, "peak_theory": 0.9999470421032736, "max_probability_error": 5.551115123125783e-16, "curve": [ { "k": 0, "measured": 0.00390625, "theory": 0.003906249999999999, "norm_error": 0.0 }, { "k": 1, "measured": 0.034790992736816406, "theory": 0.034790992736816406, "norm_error": 0.0 }, { "k": 2, "measured": 0.09463772200979292, "theory": 0.0946377220097929, "norm_error": 0.0 }, { "k": 3, "measured": 0.17972062825725743, "theory": 0.17972062825725743, "norm_error": 0.0 }, { "k": 4, "measured": 0.28474280203265145, "theory": 0.28474280203265145, "norm_error": 2.9976021664879227e-15 }, { "k": 5, "measured": 0.4031659976541573, "theory": 0.40316599765415717, "norm_error": 4.440892098500626e-16 }, { "k": 6, "measured": 0.5276176773084243, "theory": 0.5276176773084243, "norm_error": 7.771561172376096e-16 }, { "k": 7, "measured": 0.650349994727914, "theory": 0.650349994727914, "norm_error": 4.440892098500626e-16 }, { "k": 8, "measured": 0.7637221440185906, "theory": 0.7637221440185906, "norm_error": 2.220446049250313e-16 }, { "k": 9, "measured": 0.8606760445971724, "theory": 0.8606760445971724, "norm_error": 2.6645352591003757e-15 }, { "k": 10, "measured": 0.9351757480633814, "theory": 0.9351757480633812, "norm_error": 2.220446049250313e-15 }, { "k": 11, "measured": 0.9825832113547462, "theory": 0.982583211354746, "norm_error": 3.9968028886505635e-15 }, { "k": 12, "measured": 0.999947042103274, "theory": 0.9999470421032736, "norm_error": 2.7755575615628914e-15 }, { "k": 13, "measured": 0.9861862401036732, "theory": 0.9861862401036727, "norm_error": 6.661338147750939e-16 }, { "k": 14, "measured": 0.942157495910118, "theory": 0.9421574959101178, "norm_error": 2.220446049250313e-15 }, { "k": 15, "measured": 0.8706018568295806, "theory": 0.8706018568295801, "norm_error": 2.220446049250313e-15 }, { "k": 16, "measured": 0.7759740806661468, "theory": 0.7759740806661463, "norm_error": 2.220446049250313e-16 }, { "k": 17, "measured": 0.6641653009456165, "theory": 0.6641653009456162, "norm_error": 1.7763568394002505e-15 }, { "k": 18, "measured": 0.5421362693351613, "theory": 0.5421362693351609, "norm_error": 1.7763568394002505e-15 }, { "k": 19, "measured": 0.4174840080663894, "theory": 0.4174840080663893, "norm_error": 3.1086244689504383e-15 }, { "k": 20, "measured": 0.297968850787625, "theory": 0.2979688507876245, "norm_error": 4.440892098500626e-16 }, { "k": 21, "measured": 0.19103131632359568, "theory": 0.19103131632359516, "norm_error": 2.220446049250313e-15 }, { "k": 22, "measured": 0.10332889278180349, "theory": 0.10332889278180324, "norm_error": 3.1086244689504383e-15 }, { "k": 23, "measured": 0.040321569909112905, "theory": 0.04032156990911266, "norm_error": 2.886579864025407e-15 }, { "k": 24, "measured": 0.005931922737881348, "theory": 0.005931922737881282, "norm_error": 5.662137425588298e-15 }, { "k": 25, "measured": 0.0023009083063568452, "theory": 0.002300908306356916, "norm_error": 6.8833827526759706e-15 }, { "k": 26, "measured": 0.02965457853837695, "theory": 0.02965457853837717, "norm_error": 1.3322676295501878e-15 } ], "target": 52, "oracle_inputs_checked": 4096 }, { "M": 14, "theta": 0.05849675234155135, "k_asymptotic": 13.434015266901712, "k_first_peak_real": 12.926355001926579, "k_opt_theory": 13, "k_best_measured": 13, "peak_measured": 0.9999257666148262, "peak_theory": 0.9999257666148278, "max_probability_error": 2.220446049250313e-15, "curve": [ { "k": 0, "measured": 0.00341796875, "theory": 0.003417968749999999, "norm_error": 0.0 }, { "k": 1, "measured": 0.03048197738826275, "theory": 0.030481977388262745, "norm_error": 0.0 }, { "k": 2, "measured": 0.08313499050137096, "theory": 0.08313499050137096, "norm_error": 0.0 }, { "k": 3, "measured": 0.15850738834465386, "theory": 0.15850738834465383, "norm_error": 4.440892098500626e-15 }, { "k": 4, "measured": 0.25249133153217485, "theory": 0.25249133153217473, "norm_error": 6.661338147750939e-16 }, { "k": 5, "measured": 0.35996464066512956, "theory": 0.35996464066512956, "norm_error": 4.440892098500626e-15 }, { "k": 6, "measured": 0.4750699580790951, "theory": 0.4750699580790952, "norm_error": 8.881784197001252e-16 }, { "k": 7, "measured": 0.5915339772330355, "theory": 0.5915339772330355, "norm_error": 2.886579864025407e-15 }, { "k": 8, "measured": 0.7030093415532646, "theory": 0.7030093415532649, "norm_error": 1.7763568394002505e-15 }, { "k": 9, "measured": 0.803420579047125, "theory": 0.8034205790471258, "norm_error": 3.9968028886505635e-15 }, { "k": 10, "measured": 0.8872952190493545, "theory": 0.8872952190493552, "norm_error": 3.1086244689504383e-15 }, { "k": 11, "measured": 0.9500620450464633, "theory": 0.9500620450464646, "norm_error": 8.992806499463768e-15 }, { "k": 12, "measured": 0.9883002286272714, "theory": 0.988300228627273, "norm_error": 7.882583474838611e-15 }, { "k": 13, "measured": 0.9999257666148262, "theory": 0.9999257666148278, "norm_error": 5.329070518200751e-15 }, { "k": 14, "measured": 0.9843050604479235, "theory": 0.9843050604479255, "norm_error": 5.329070518200751e-15 }, { "k": 15, "measured": 0.9422894476700766, "theory": 0.9422894476700782, "norm_error": 7.549516567451064e-15 }, { "k": 16, "measured": 0.8761688035397569, "theory": 0.8761688035397591, "norm_error": 1.4432899320127035e-15 }, { "k": 17, "measured": 0.7895467415010652, "theory": 0.7895467415010669, "norm_error": 5.88418203051333e-15 }, { "k": 18, "measured": 0.6871442141615238, "theory": 0.6871442141615257, "norm_error": 2.220446049250313e-15 }, { "k": 19, "measured": 0.5745422186376046, "theory": 0.5745422186376066, "norm_error": 4.440892098500626e-16 }, { "k": 20, "measured": 0.4578776289758239, "theory": 0.45787762897582557, "norm_error": 2.220446049250313e-15 }, { "k": 21, "measured": 0.3435087329588429, "theory": 0.3435087329588445, "norm_error": 1.5543122344752192e-15 }, { "k": 22, "measured": 0.2376687017345598, "theory": 0.2376687017345613, "norm_error": 1.7763568394002505e-15 }, { "k": 23, "measured": 0.14612587837434532, "theory": 0.14612587837434637, "norm_error": 2.220446049250313e-15 }, { "k": 24, "measured": 0.07386939983097078, "theory": 0.0738693998309715, "norm_error": 1.7763568394002505e-15 }, { "k": 25, "measured": 0.02483728608181208, "theory": 0.024837286081812474, "norm_error": 4.440892098500626e-16 }, { "k": 26, "measured": 0.0017018157566842443, "theory": 0.001701815756684365, "norm_error": 9.880984919163893e-15 }, { "k": 27, "measured": 0.005723885403038607, "theory": 0.005723885403038424, "norm_error": 3.1086244689504383e-15 }, { "k": 28, "measured": 0.03668428989301618, "theory": 0.03668428989301583, "norm_error": 4.440892098500626e-16 } ], "target": 243, "oracle_inputs_checked": 4096 }, { "M": 15, "theta": 0.06055236143302716, "k_asymptotic": 12.978491763115557, "k_first_peak_real": 12.470562085611204, "k_opt_theory": 12, "k_best_measured": 12, "peak_measured": 0.9967559626759778, "peak_theory": 0.9967559626759791, "max_probability_error": 1.9984014443252818e-15, "curve": [ { "k": 0, "measured": 0.003662109375, "theory": 0.0036621093750000004, "norm_error": 0.0 }, { "k": 1, "measured": 0.03263790509663522, "theory": 0.032637905096635215, "norm_error": 0.0 }, { "k": 2, "measured": 0.08889791354058096, "theory": 0.08889791354058094, "norm_error": 0.0 }, { "k": 3, "measured": 0.16915772192522083, "theory": 0.16915772192522088, "norm_error": 6.661338147750939e-16 }, { "k": 4, "measured": 0.2687318289895441, "theory": 0.2687318289895441, "norm_error": 5.329070518200751e-15 }, { "k": 5, "measured": 0.3818071806831598, "theory": 0.38180718068315983, "norm_error": 2.9976021664879227e-15 }, { "k": 6, "measured": 0.5017825314559844, "theory": 0.5017825314559845, "norm_error": 3.1086244689504383e-15 }, { "k": 7, "measured": 0.6216538195160648, "theory": 0.621653819516065, "norm_error": 0.0 }, { "k": 8, "measured": 0.734423058166588, "theory": 0.7344230581665884, "norm_error": 3.885780586188048e-15 }, { "k": 9, "measured": 0.8335068724838556, "theory": 0.8335068724838565, "norm_error": 3.3306690738754696e-15 }, { "k": 10, "measured": 0.9131208313027147, "theory": 0.9131208313027155, "norm_error": 3.9968028886505635e-15 }, { "k": 11, "measured": 0.9686171375258672, "theory": 0.9686171375258682, "norm_error": 7.549516567451064e-15 }, { "k": 12, "measured": 0.9967559626759778, "theory": 0.9967559626759791, "norm_error": 1.4432899320127035e-15 }, { "k": 13, "measured": 0.9958945854037453, "theory": 0.9958945854037473, "norm_error": 2.220446049250313e-16 }, { "k": 14, "measured": 0.9660832922022056, "theory": 0.9660832922022073, "norm_error": 7.549516567451064e-15 }, { "k": 15, "measured": 0.9090624417228353, "theory": 0.9090624417228371, "norm_error": 4.440892098500626e-16 }, { "k": 16, "measured": 0.828160864076275, "theory": 0.8281608640762769, "norm_error": 1.5543122344752192e-15 }, { "k": 17, "measured": 0.7281015264824824, "theory": 0.7281015264824838, "norm_error": 4.440892098500626e-16 }, { "k": 18, "measured": 0.6147258103490081, "theory": 0.6147258103490097, "norm_error": 8.881784197001252e-16 }, { "k": 19, "measured": 0.49465249625361707, "theory": 0.4946524962536186, "norm_error": 7.771561172376096e-16 }, { "k": 20, "measured": 0.37489136500604553, "theory": 0.37489136500604653, "norm_error": 4.440892098500626e-16 }, { "k": 21, "measured": 0.2624339724394611, "theory": 0.2624339724394621, "norm_error": 7.105427357601002e-15 }, { "k": 22, "measured": 0.16384548816099143, "theory": 0.1638454881609921, "norm_error": 1.7763568394002505e-15 }, { "k": 23, "measured": 0.08488142637762451, "theory": 0.0848814263776249, "norm_error": 3.774758283725532e-15 }, { "k": 24, "measured": 0.030151643735010104, "theory": 0.030151643735010256, "norm_error": 4.440892098500626e-16 }, { "k": 25, "measured": 0.0028512196975528804, "theory": 0.002851219697552957, "norm_error": 4.440892098500626e-15 }, { "k": 26, "measured": 0.004573930450720539, "theory": 0.004573930450720462, "norm_error": 3.1086244689504383e-15 } ], "target": 2, "oracle_inputs_checked": 4096 }, { "M": 16, "theta": 0.06254076179649139, "k_asymptotic": 12.566370614359172, "k_first_peak_real": 12.058180310517262, "k_opt_theory": 12, "k_best_measured": 12, "peak_measured": 0.9999470421032738, "peak_theory": 0.9999470421032736, "max_probability_error": 3.642919299551295e-16, "curve": [ { "k": 0, "measured": 0.00390625, "theory": 0.003906249999999999, "norm_error": 0.0 }, { "k": 1, "measured": 0.034790992736816406, "theory": 0.034790992736816406, "norm_error": 0.0 }, { "k": 2, "measured": 0.09463772200979292, "theory": 0.0946377220097929, "norm_error": 0.0 }, { "k": 3, "measured": 0.17972062825725743, "theory": 0.17972062825725743, "norm_error": 0.0 }, { "k": 4, "measured": 0.28474280203265145, "theory": 0.28474280203265145, "norm_error": 2.886579864025407e-15 }, { "k": 5, "measured": 0.4031659976541573, "theory": 0.40316599765415717, "norm_error": 1.7763568394002505e-15 }, { "k": 6, "measured": 0.5276176773084243, "theory": 0.5276176773084243, "norm_error": 8.881784197001252e-16 }, { "k": 7, "measured": 0.650349994727914, "theory": 0.650349994727914, "norm_error": 1.3322676295501878e-15 }, { "k": 8, "measured": 0.7637221440185906, "theory": 0.7637221440185906, "norm_error": 2.1094237467877974e-15 }, { "k": 9, "measured": 0.8606760445971724, "theory": 0.8606760445971724, "norm_error": 2.886579864025407e-15 }, { "k": 10, "measured": 0.9351757480633812, "theory": 0.9351757480633812, "norm_error": 2.220446049250313e-15 }, { "k": 11, "measured": 0.982583211354746, "theory": 0.982583211354746, "norm_error": 4.440892098500626e-15 }, { "k": 12, "measured": 0.9999470421032738, "theory": 0.9999470421032736, "norm_error": 3.4416913763379853e-15 }, { "k": 13, "measured": 0.986186240103673, "theory": 0.9861862401036727, "norm_error": 4.440892098500626e-16 }, { "k": 14, "measured": 0.9421574959101178, "theory": 0.9421574959101178, "norm_error": 2.220446049250313e-15 }, { "k": 15, "measured": 0.8706018568295801, "theory": 0.8706018568295801, "norm_error": 3.219646771412954e-15 }, { "k": 16, "measured": 0.7759740806661465, "theory": 0.7759740806661463, "norm_error": 1.3322676295501878e-15 }, { "k": 17, "measured": 0.6641653009456162, "theory": 0.6641653009456162, "norm_error": 4.6629367034256575e-15 }, { "k": 18, "measured": 0.542136269335161, "theory": 0.5421362693351609, "norm_error": 8.881784197001252e-16 }, { "k": 19, "measured": 0.41748400806638897, "theory": 0.4174840080663893, "norm_error": 2.886579864025407e-15 }, { "k": 20, "measured": 0.29796885078762436, "theory": 0.2979688507876245, "norm_error": 4.440892098500626e-16 }, { "k": 21, "measured": 0.19103131632359505, "theory": 0.19103131632359516, "norm_error": 6.217248937900877e-15 }, { "k": 22, "measured": 0.10332889278180292, "theory": 0.10332889278180324, "norm_error": 6.661338147750939e-15 }, { "k": 23, "measured": 0.04032156990911246, "theory": 0.04032156990911266, "norm_error": 2.1094237467877974e-15 }, { "k": 24, "measured": 0.005931922737881145, "theory": 0.005931922737881282, "norm_error": 8.659739592076221e-15 }, { "k": 25, "measured": 0.0023009083063569905, "theory": 0.002300908306356916, "norm_error": 2.6645352591003757e-15 }, { "k": 26, "measured": 0.029654578538377534, "theory": 0.02965457853837717, "norm_error": 2.4424906541753444e-15 } ], "target": 97, "oracle_inputs_checked": 4096 }, { "M": 18, "theta": 0.0663399101734236, "k_asymptotic": 11.847687835088976, "k_first_peak_real": 11.338999500365412, "k_opt_theory": 11, "k_best_measured": 11, "peak_measured": 0.9979783080642508, "peak_theory": 0.9979783080642503, "max_probability_error": 5.551115123125783e-16, "curve": [ { "k": 0, "measured": 0.00439453125, "theory": 0.004394531249999999, "norm_error": 0.0 }, { "k": 1, "measured": 0.03908865340054035, "theory": 0.03908865340054035, "norm_error": 0.0 }, { "k": 2, "measured": 0.10604818739131616, "theory": 0.10604818739131618, "norm_error": 0.0 }, { "k": 3, "measured": 0.20058573084705, "theory": 0.20058573084704998, "norm_error": 6.661338147750939e-16 }, { "k": 4, "measured": 0.3160833239443006, "theory": 0.3160833239443006, "norm_error": 3.552713678800501e-15 }, { "k": 5, "measured": 0.4444557298249763, "theory": 0.4444557298249762, "norm_error": 2.220446049250313e-15 }, { "k": 6, "measured": 0.576716429551713, "theory": 0.5767164295517131, "norm_error": 1.3322676295501878e-15 }, { "k": 7, "measured": 0.7036067099718721, "theory": 0.7036067099718721, "norm_error": 2.6645352591003757e-15 }, { "k": 8, "measured": 0.8162438061318774, "theory": 0.8162438061318772, "norm_error": 3.1086244689504383e-15 }, { "k": 9, "measured": 0.9067427259982194, "theory": 0.9067427259982188, "norm_error": 1.3322676295501878e-15 }, { "k": 10, "measured": 0.9687682275723503, "theory": 0.9687682275723497, "norm_error": 3.552713678800501e-15 }, { "k": 11, "measured": 0.9979783080642508, "theory": 0.9979783080642503, "norm_error": 4.440892098500626e-15 }, { "k": 12, "measured": 0.9923281593260826, "theory": 0.9923281593260825, "norm_error": 3.219646771412954e-15 }, { "k": 13, "measured": 0.9522133115988364, "theory": 0.9522133115988364, "norm_error": 4.9960036108132044e-15 }, { "k": 14, "measured": 0.8804419450073392, "theory": 0.8804419450073391, "norm_error": 2.220446049250313e-16 }, { "k": 15, "measured": 0.7820383070961484, "theory": 0.7820383070961485, "norm_error": 1.7763568394002505e-15 }, { "k": 16, "measured": 0.6638909978687292, "theory": 0.6638909978687295, "norm_error": 1.1102230246251565e-15 }, { "k": 17, "measured": 0.534270743611521, "theory": 0.534270743611521, "norm_error": 4.6629367034256575e-15 }, { "k": 18, "measured": 0.4022514170275954, "theory": 0.4022514170275952, "norm_error": 1.2212453270876722e-15 }, { "k": 19, "measured": 0.27707483430249, "theory": 0.27707483430249, "norm_error": 3.9968028886505635e-15 }, { "k": 20, "measured": 0.16750379553686878, "theory": 0.16750379553686862, "norm_error": 3.885780586188048e-15 }, { "k": 21, "measured": 0.08120865798623962, "theory": 0.08120865798623948, "norm_error": 5.551115123125783e-15 }, { "k": 22, "measured": 0.024230384133786007, "theory": 0.024230384133786, "norm_error": 5.329070518200751e-15 }, { "k": 23, "measured": 0.0005576531156558531, "theory": 0.0005576531156558436, "norm_error": 1.3322676295501878e-15 }, { "k": 24, "measured": 0.011847639183076346, "theory": 0.011847639183076446, "norm_error": 3.552713678800501e-15 } ], "target": 61, "oracle_inputs_checked": 4096 } ], "oracle": "table oracle, not a gate-level circuit", "output_histogram": [ 14, 17, 15, 18, 14, 12, 22, 16, 11, 16, 19, 13, 23, 13, 17, 14, 17, 14, 17, 20, 12, 16, 17, 14, 24, 22, 21, 17, 17, 13, 13, 18, 16, 28, 18, 14, 13, 15, 16, 13, 18, 25, 16, 20, 18, 16, 23, 16, 16, 28, 14, 12, 16, 13, 12, 14, 18, 17, 15, 19, 13, 18, 12, 14, 9, 16, 16, 19, 12, 9, 12, 18, 10, 8, 14, 9, 21, 21, 12, 18, 16, 24, 16, 16, 15, 16, 14, 17, 20, 20, 13, 14, 13, 20, 21, 18, 12, 16, 10, 9, 16, 20, 12, 14, 13, 23, 18, 5, 21, 19, 12, 15, 16, 17, 12, 22, 13, 15, 15, 14, 25, 16, 16, 23, 12, 13, 15, 19, 16, 16, 16, 17, 19, 9, 19, 6, 16, 23, 12, 16, 17, 9, 20, 19, 22, 17, 10, 15, 17, 21, 11, 25, 22, 18, 19, 18, 13, 14, 21, 18, 25, 12, 17, 21, 20, 19, 10, 16, 19, 12, 27, 14, 17, 15, 9, 15, 11, 18, 19, 21, 19, 17, 12, 13, 10, 20, 16, 18, 10, 18, 20, 20, 19, 11, 13, 15, 12, 18, 18, 14, 15, 15, 5, 15, 18, 11, 16, 16, 20, 18, 13, 19, 16, 14, 15, 11, 17, 20, 13, 25, 10, 14, 16, 13, 12, 10, 14, 22, 15, 19, 10, 18, 16, 12, 19, 22, 14, 15, 17, 17, 21, 16, 10, 14, 22, 19, 15, 10, 20, 18, 17, 7, 16, 12, 13, 11 ], "seconds": 3.0076699999990524, "passed": true } ], "simulator_boundary_controls": { "0": { "M": 0, "theta": 0.0, "k_asymptotic": null, "k_first_peak_real": null, "k_opt_theory": null, "k_best_measured": 0, "peak_measured": 0.0, "peak_theory": 0.0, "max_probability_error": 0.0, "curve": [ { "k": 0, "measured": 0.0, "theory": 0.0, "norm_error": 0.0 }, { "k": 1, "measured": 0.0, "theory": 0.0, "norm_error": 0.0 }, { "k": 2, "measured": 0.0, "theory": 0.0, "norm_error": 0.0 }, { "k": 3, "measured": 0.0, "theory": 0.0, "norm_error": 0.0 }, { "k": 4, "measured": 0.0, "theory": 0.0, "norm_error": 0.0 } ] }, "1": { "M": 1, "theta": 0.25268025514207865, "k_asymptotic": 3.141592653589793, "k_first_peak_real": 2.6082688394304085, "k_opt_theory": 3, "k_best_measured": 3, "peak_measured": 0.9613189697265625, "peak_theory": 0.9613189697265625, "max_probability_error": 2.7755575615628914e-16, "curve": [ { "k": 0, "measured": 0.0625, "theory": 0.0625, "norm_error": 0.0 }, { "k": 1, "measured": 0.47265625, "theory": 0.47265625, "norm_error": 0.0 }, { "k": 2, "measured": 0.908447265625, "theory": 0.908447265625, "norm_error": 0.0 }, { "k": 3, "measured": 0.9613189697265625, "theory": 0.9613189697265625, "norm_error": 0.0 }, { "k": 4, "measured": 0.5817041397094727, "theory": 0.5817041397094724, "norm_error": 0.0 }, { "k": 5, "measured": 0.1254916787147522, "theory": 0.1254916787147522, "norm_error": 0.0 }, { "k": 6, "measured": 0.020380768924951553, "theory": 0.020380768924951515, "norm_error": 0.0 }, { "k": 7, "measured": 0.36491288826800883, "theory": 0.36491288826800855, "norm_error": 0.0 }, { "k": 8, "measured": 0.8360891748598078, "theory": 0.8360891748598078, "norm_error": 0.0 } ] }, "8": { "M": 8, "theta": 0.7853981633974484, "k_asymptotic": 1.1107207345395915, "k_first_peak_real": 0.4999999999999999, "k_opt_theory": 0, "k_best_measured": 0, "peak_measured": 0.5, "peak_theory": 0.5000000000000006, "max_probability_error": 7.216449660063518e-16, "curve": [ { "k": 0, "measured": 0.5, "theory": 0.5000000000000001, "norm_error": 0.0 }, { "k": 1, "measured": 0.5, "theory": 0.4999999999999996, "norm_error": 0.0 }, { "k": 2, "measured": 0.5, "theory": 0.5000000000000002, "norm_error": 0.0 }, { "k": 3, "measured": 0.5, "theory": 0.4999999999999993, "norm_error": 0.0 }, { "k": 4, "measured": 0.5, "theory": 0.5000000000000006, "norm_error": 0.0 } ] }, "16": { "M": 16, "theta": 1.5707963267948966, "k_asymptotic": 0.7853981633974483, "k_first_peak_real": 0, "k_opt_theory": 0, "k_best_measured": 0, "peak_measured": 1.0, "peak_theory": 1.0, "max_probability_error": 0.0, "curve": [ { "k": 0, "measured": 1.0, "theory": 1.0, "norm_error": 0.0 }, { "k": 1, "measured": 1.0, "theory": 1.0, "norm_error": 0.0 }, { "k": 2, "measured": 1.0, "theory": 1.0, "norm_error": 0.0 } ] } }, "rad_and_stamp_toy_tests": [ { "claim": "MEASURED", "w": 2, "output_bits": 4, "N": 4096, "oracle": "Python-only width-scaled table oracle", "given_rad_prefix": { "M": 975, "theta": 0.5096714365884202, "k_asymptotic": 1.6097837812062663, "k_first_peak_real": 1.0409891687371295, "k_opt_theory": 1, "k_best_measured": 1, "peak_measured": 0.9982552786823362, "peak_theory": 0.9982552786823362, "max_probability_error": 3.3306690738754696e-16, "curve": [ { "k": 0, "measured": 0.238037109375, "theory": 0.23803710937499997, "norm_error": 0.0 }, { "k": 1, "measured": 0.9982552786823362, "theory": 0.9982552786823362, "norm_error": 0.0 }, { "k": 2, "measured": 0.3125330901630752, "theory": 0.3125330901630755, "norm_error": 0.0 }, { "k": 3, "measured": 0.1708412055617145, "theory": 0.1708412055617143, "norm_error": 3.3306690738754696e-15 }, { "k": 4, "measured": 0.9843704804240851, "theory": 0.9843704804240855, "norm_error": 1.7763568394002505e-15 } ], "given_index": 4001, "target_prefix": 3, "z": 2 }, "toy_zero_prefix_stamp": { "M": 558, "theta": 0.3780341291287518, "k_asymptotic": 2.127907551940102, "k_first_peak_real": 1.577585336560857, "k_opt_theory": 2, "k_best_measured": 6, "peak_measured": 0.959726473535695, "peak_theory": 0.9597264735356953, "max_probability_error": 8.881784197001252e-16, "curve": [ { "k": 0, "measured": 0.13623046875, "theory": 0.13623046874999997, "norm_error": 0.0 }, { "k": 1, "measured": 0.8211166989058256, "theory": 0.8211166989058256, "norm_error": 0.0 }, { "k": 2, "measured": 0.9014212187739119, "theory": 0.9014212187739122, "norm_error": 0.0 }, { "k": 3, "measured": 0.2259508822764778, "theory": 0.22595088227647794, "norm_error": 4.884981308350689e-15 }, { "k": 4, "measured": 0.06644587819772235, "theory": 0.06644587819772207, "norm_error": 3.4416913763379853e-15 }, { "k": 5, "measured": 0.723213878153528, "theory": 0.7232138781535271, "norm_error": 3.552713678800501e-15 }, { "k": 6, "measured": 0.959726473535695, "theory": 0.9597264735356953, "norm_error": 1.1102230246251565e-15 } ], "target_prefix": 0, "z": 3 } }, { "claim": "MEASURED", "w": 3, "output_bits": 6, "N": 4096, "oracle": "Python-only width-scaled table oracle", "given_rad_prefix": { "M": 490, "theta": 0.3531702429810246, "k_asymptotic": 2.270763032181966, "k_first_peak_real": 1.723851468255344, "k_opt_theory": 2, "k_best_measured": 6, "peak_measured": 0.9853881488646205, "peak_theory": 0.9853881488646202, "max_probability_error": 2.220446049250313e-16, "curve": [ { "k": 0, "measured": 0.11962890625, "theory": 0.11962890624999999, "norm_error": 0.0 }, { "k": 1, "measured": 0.7605866435915232, "theory": 0.7605866435915232, "norm_error": 0.0 }, { "k": 2, "measured": 0.9624336593185845, "theory": 0.9624336593185845, "norm_error": 0.0 }, { "k": 3, "measured": 0.3850405150606951, "theory": 0.38504051506069514, "norm_error": 1.2212453270876722e-15 }, { "k": 4, "measured": 0.0013639085822851182, "theory": 0.0013639085822851112, "norm_error": 5.329070518200751e-15 }, { "k": 5, "measured": 0.4579316481213476, "theory": 0.4579316481213474, "norm_error": 4.6629367034256575e-15 }, { "k": 6, "measured": 0.9853881488646205, "theory": 0.9853881488646202, "norm_error": 2.1094237467877974e-15 } ], "given_index": 4061, "target_prefix": 4, "z": 3 }, "toy_zero_prefix_stamp": { "M": 519, "theta": 0.36394335124603955, "k_asymptotic": 2.2064097930163498, "k_first_peak_real": 1.6580231118619593, "k_opt_theory": 2, "k_best_measured": 6, "peak_measured": 0.9996437923130319, "peak_theory": 0.9996437923130324, "max_probability_error": 4.440892098500626e-16, "curve": [ { "k": 0, "measured": 0.126708984375, "theory": 0.126708984375, "norm_error": 0.0 }, { "k": 1, "measured": 0.7876061999704689, "theory": 0.7876061999704689, "norm_error": 0.0 }, { "k": 2, "measured": 0.9393078314444467, "theory": 0.9393078314444467, "norm_error": 0.0 }, { "k": 3, "measured": 0.31323204412679495, "theory": 0.313232044126795, "norm_error": 1.6653345369377348e-15 }, { "k": 4, "measured": 0.01782165413297839, "theory": 0.017821654132978457, "norm_error": 1.1102230246251565e-15 }, { "k": 5, "measured": 0.576089260300936, "theory": 0.5760892603009358, "norm_error": 2.220446049250313e-15 }, { "k": 6, "measured": 0.9996437923130319, "theory": 0.9996437923130324, "norm_error": 1.5543122344752192e-15 } ], "target_prefix": 0, "z": 3 } }, { "claim": "MEASURED", "w": 4, "output_bits": 8, "N": 4096, "oracle": "Python-only width-scaled table oracle", "given_rad_prefix": { "M": 271, "theta": 0.2601442624661427, "k_asymptotic": 3.0534106069456817, "k_first_peak_real": 2.5190870094614, "k_opt_theory": 3, "k_best_measured": 3, "peak_measured": 0.93868887857102, "peak_theory": 0.9386888785710199, "max_probability_error": 1.887379141862766e-15, "curve": [ { "k": 0, "measured": 0.066162109375, "theory": 0.06616210937500001, "norm_error": 0.0 }, { "k": 1, "measured": 0.4950347056146711, "theory": 0.49503470561467106, "norm_error": 0.0 }, { "k": 2, "measured": 0.9288157682196532, "theory": 0.9288157682196533, "norm_error": 0.0 }, { "k": 3, "measured": 0.93868887857102, "theory": 0.9386888785710199, "norm_error": 2.6645352591003757e-15 }, { "k": 4, "measured": 0.5148939245143179, "theory": 0.5148939245143179, "norm_error": 5.329070518200751e-15 }, { "k": 5, "measured": 0.07637550758660898, "theory": 0.0763755075866089, "norm_error": 3.219646771412954e-15 }, { "k": 6, "measured": 0.05663318149390944, "theory": 0.05663318149390949, "norm_error": 3.552713678800501e-15 }, { "k": 7, "measured": 0.4751833205090814, "theory": 0.47518332050908113, "norm_error": 5.329070518200751e-15 }, { "k": 8, "measured": 0.9182661109899557, "theory": 0.9182661109899538, "norm_error": 3.9968028886505635e-15 } ], "given_index": 1434, "target_prefix": 1, "z": 4 }, "toy_zero_prefix_stamp": { "M": 526, "theta": 0.366504768049727, "k_asymptotic": 2.1916791862138565, "k_first_peak_real": 1.6429411889421486, "k_opt_theory": 2, "k_best_measured": 6, "peak_measured": 0.9972804465320297, "peak_theory": 0.9972804465320301, "max_probability_error": 5.551115123125783e-16, "curve": [ { "k": 0, "measured": 0.12841796875, "theory": 0.12841796875, "norm_error": 0.0 }, { "k": 1, "measured": 0.7938577365130186, "theory": 0.7938577365130188, "norm_error": 0.0 }, { "k": 2, "measured": 0.9330486345909819, "theory": 0.933048634590982, "norm_error": 0.0 }, { "k": 3, "measured": 0.2967236072542516, "theory": 0.2967236072542516, "norm_error": 3.9968028886505635e-15 }, { "k": 4, "measured": 0.024431779061714308, "theory": 0.024431779061714266, "norm_error": 2.886579864025407e-15 }, { "k": 5, "measured": 0.6038011720322893, "theory": 0.6038011720322888, "norm_error": 3.885780586188048e-15 }, { "k": 6, "measured": 0.9972804465320297, "theory": 0.9972804465320301, "norm_error": 2.6645352591003757e-15 } ], "target_prefix": 0, "z": 3 } } ], "wo14_quantum_costs": { "claim": "ESTIMATE", "model": "ideal random-function oracle queries; no quantum hardware or circuit costs", "z_base": 41, "base": { "z": 41, "bht_query_scale": 13003.989417723486, "fixed_prefix_grover_scale": 1482910.4003789306, "fixed_prefix_grover_first_peak": 1164675.1049405867, "ideal_expected_pairs_per_bounded_puzzle": 0.2499997615814209, "poisson_probability_of_any_pair": 0.2211990312479969 }, "collision_trigger_z": 48, "collision_trigger": { "z": 48, "bht_query_scale": 65536.0, "fixed_prefix_grover_scale": 16777216.0, "fixed_prefix_grover_first_peak": 13176794.633322284, "ideal_expected_pairs_per_bounded_puzzle": 0.0019531231373548508, "poisson_probability_of_any_pair": 0.0019512170335137524 }, "commit_stamp": { "z": 18, "grover_query_scale": 512, "grover_first_peak": 402.1238596594935, "predicate": "18 leading zero bits in the 55-byte commitment stamp hash" }, "limitations": [ "BHT scale is asymptotic and conditional on the ideal collision model; the bounded S=2^20 puzzle can contain no pair.", "The fixed-prefix Grover scale assumes a generic search domain with marked density 2^-Z; it is not the cost of searching an already-known WO-08 Rad pair within its bounded candidate set.", "The stamp estimate excludes oracle synthesis, error correction, restarts and wall-clock conversion." ] }, "circuit": { "claim": "MEASURED", "model": "reversible X/CNOT/Toffoli Boolean circuit; classical basis-state simulation", "exhaustive_lane_checks": [ { "i": 0, "lane": 0, "assignments": 131072, "passed": true }, { "i": 0, "lane": 1, "assignments": 131072, "passed": true }, { "i": 0, "lane": 2, "assignments": 131072, "passed": true }, { "i": 0, "lane": 3, "assignments": 131072, "passed": true }, { "i": 64, "lane": 0, "assignments": 131072, "passed": true }, { "i": 64, "lane": 1, "assignments": 131072, "passed": true }, { "i": 64, "lane": 2, "assignments": 131072, "passed": true }, { "i": 64, "lane": 3, "assignments": 131072, "passed": true }, { "i": 599, "lane": 0, "assignments": 131072, "passed": true }, { "i": 599, "lane": 1, "assignments": 131072, "passed": true }, { "i": 599, "lane": 2, "assignments": 131072, "passed": true }, { "i": 599, "lane": 3, "assignments": 131072, "passed": true } ], "full_step_counts": [ { "w": 4, "i": 0, "qubits": 1370, "input_qubits": 33, "X": 322, "CNOT": 2918, "Toffoli": 1006, "T_count_convention_7_per_Toffoli": 7042, "logical_gate_depth": 764, "T_depth_conservative_bound": 5348, "full_step_random_cases": 32, "full_step_boundary_cases": 18 }, { "w": 4, "i": 64, "qubits": 1366, "input_qubits": 33, "X": 314, "CNOT": 2910, "Toffoli": 1006, "T_count_convention_7_per_Toffoli": 7042, "logical_gate_depth": 764, "T_depth_conservative_bound": 5348, "full_step_random_cases": 32, "full_step_boundary_cases": 18 }, { "w": 4, "i": 599, "qubits": 1351, "input_qubits": 33, "X": 296, "CNOT": 2876, "Toffoli": 1002, "T_count_convention_7_per_Toffoli": 7014, "logical_gate_depth": 760, "T_depth_conservative_bound": 5320, "full_step_random_cases": 32, "full_step_boundary_cases": 18 }, { "w": 64, "i": 0, "qubits": 16026, "input_qubits": 513, "X": 1762, "CNOT": 35974, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735, "full_step_random_cases": 32, "full_step_boundary_cases": 18 }, { "w": 64, "i": 64, "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407, "full_step_random_cases": 32, "full_step_boundary_cases": 18 }, { "w": 64, "i": 599, "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421, "full_step_random_cases": 32, "full_step_boundary_cases": 18 } ], "full_step_exhaustive_counters": [ 0, 64, 599 ], "scope": "Compositional exhaustive w=4 verification at three counters, not all counters. w=64 sampled only. No quantum hardware.", "seconds": 5.720225791999837 }, "resources": { "claim": "ESTIMATE", "scope": "Unoptimized logical RL-only oracle envelope; NOT a complete concatenated-address oracle or physical machine estimate", "domain_tag_bytes": 12, "input_bytes": 44, "steps": 600, "architecture": "Retain 601 state registers; clean each out-of-place step; reuse arithmetic scratch; reverse the entire history after marking.", "per_counter_counts": [ { "qubits": 16026, "input_qubits": 513, "X": 1762, "CNOT": 35974, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735 }, { "qubits": 16027, "input_qubits": 513, "X": 1762, "CNOT": 35978, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735 }, { "qubits": 16028, "input_qubits": 513, "X": 1762, "CNOT": 35982, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16029, "input_qubits": 513, "X": 1762, "CNOT": 35986, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735 }, { "qubits": 16021, "input_qubits": 513, "X": 1760, "CNOT": 35968, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16021, "input_qubits": 513, "X": 1760, "CNOT": 35968, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16021, "input_qubits": 513, "X": 1760, "CNOT": 35968, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16021, "input_qubits": 513, "X": 1760, "CNOT": 35968, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735 }, { "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16031, "input_qubits": 513, "X": 1762, "CNOT": 35994, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16032, "input_qubits": 513, "X": 1762, "CNOT": 35998, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16033, "input_qubits": 513, "X": 1762, "CNOT": 36002, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16016, "input_qubits": 513, "X": 1758, "CNOT": 35962, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16015, "input_qubits": 513, "X": 1758, "CNOT": 35958, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16014, "input_qubits": 513, "X": 1758, "CNOT": 35954, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16013, "input_qubits": 513, "X": 1758, "CNOT": 35950, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735 }, { "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16031, "input_qubits": 513, "X": 1762, "CNOT": 35994, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16032, "input_qubits": 513, "X": 1762, "CNOT": 35998, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16033, "input_qubits": 513, "X": 1762, "CNOT": 36002, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16011, "input_qubits": 513, "X": 1756, "CNOT": 35956, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16009, "input_qubits": 513, "X": 1756, "CNOT": 35948, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16007, "input_qubits": 513, "X": 1756, "CNOT": 35940, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16005, "input_qubits": 513, "X": 1756, "CNOT": 35932, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4117, "T_depth_conservative_bound": 28819 }, { "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16031, "input_qubits": 513, "X": 1762, "CNOT": 35994, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16032, "input_qubits": 513, "X": 1762, "CNOT": 35998, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4229, "T_depth_conservative_bound": 29603 }, { "qubits": 16033, "input_qubits": 513, "X": 1762, "CNOT": 36002, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16020, "input_qubits": 513, "X": 1758, "CNOT": 35978, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16019, "input_qubits": 513, "X": 1758, "CNOT": 35974, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16018, "input_qubits": 513, "X": 1758, "CNOT": 35970, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16017, "input_qubits": 513, "X": 1758, "CNOT": 35966, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16006, "input_qubits": 513, "X": 1754, "CNOT": 35950, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16003, "input_qubits": 513, "X": 1754, "CNOT": 35938, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16000, "input_qubits": 513, "X": 1754, "CNOT": 35926, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 15997, "input_qubits": 513, "X": 1754, "CNOT": 35914, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4117, "T_depth_conservative_bound": 28819 }, { "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16031, "input_qubits": 513, "X": 1762, "CNOT": 35994, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16032, "input_qubits": 513, "X": 1762, "CNOT": 35998, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4229, "T_depth_conservative_bound": 29603 }, { "qubits": 16033, "input_qubits": 513, "X": 1762, "CNOT": 36002, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16020, "input_qubits": 513, "X": 1758, "CNOT": 35978, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16019, "input_qubits": 513, "X": 1758, "CNOT": 35974, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16018, "input_qubits": 513, "X": 1758, "CNOT": 35970, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16017, "input_qubits": 513, "X": 1758, "CNOT": 35966, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16015, "input_qubits": 513, "X": 1756, "CNOT": 35972, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16013, "input_qubits": 513, "X": 1756, "CNOT": 35964, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16011, "input_qubits": 513, "X": 1756, "CNOT": 35956, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16009, "input_qubits": 513, "X": 1756, "CNOT": 35948, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16001, "input_qubits": 513, "X": 1752, "CNOT": 35944, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 15997, "input_qubits": 513, "X": 1752, "CNOT": 35928, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 15993, "input_qubits": 513, "X": 1752, "CNOT": 35912, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 15989, "input_qubits": 513, "X": 1752, "CNOT": 35896, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4117, "T_depth_conservative_bound": 28819 }, { "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16031, "input_qubits": 513, "X": 1762, "CNOT": 35994, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16032, "input_qubits": 513, "X": 1762, "CNOT": 35998, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4229, "T_depth_conservative_bound": 29603 }, { "qubits": 16033, "input_qubits": 513, "X": 1762, "CNOT": 36002, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4189, "T_depth_conservative_bound": 29323 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16020, "input_qubits": 513, "X": 1758, "CNOT": 35978, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16019, "input_qubits": 513, "X": 1758, "CNOT": 35974, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16018, "input_qubits": 513, "X": 1758, "CNOT": 35970, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16017, "input_qubits": 513, "X": 1758, "CNOT": 35966, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4187, "T_depth_conservative_bound": 29309 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16015, "input_qubits": 513, "X": 1756, "CNOT": 35972, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16013, "input_qubits": 513, "X": 1756, "CNOT": 35964, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16011, "input_qubits": 513, "X": 1756, "CNOT": 35956, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16009, "input_qubits": 513, "X": 1756, "CNOT": 35948, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4185, "T_depth_conservative_bound": 29295 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16010, "input_qubits": 513, "X": 1754, "CNOT": 35966, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16007, "input_qubits": 513, "X": 1754, "CNOT": 35954, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16004, "input_qubits": 513, "X": 1754, "CNOT": 35942, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16001, "input_qubits": 513, "X": 1754, "CNOT": 35930, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4183, "T_depth_conservative_bound": 29281 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16019, "input_qubits": 513, "X": 1756, "CNOT": 35988, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16017, "input_qubits": 513, "X": 1756, "CNOT": 35980, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16015, "input_qubits": 513, "X": 1756, "CNOT": 35972, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16013, "input_qubits": 513, "X": 1756, "CNOT": 35964, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4189, "T_depth_conservative_bound": 29323 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16028, "input_qubits": 513, "X": 1758, "CNOT": 36010, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16027, "input_qubits": 513, "X": 1758, "CNOT": 36006, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16026, "input_qubits": 513, "X": 1758, "CNOT": 36002, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16025, "input_qubits": 513, "X": 1758, "CNOT": 35998, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16046, "input_qubits": 513, "X": 1762, "CNOT": 36054, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16047, "input_qubits": 513, "X": 1762, "CNOT": 36058, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16048, "input_qubits": 513, "X": 1762, "CNOT": 36062, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16049, "input_qubits": 513, "X": 1762, "CNOT": 36066, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 15996, "input_qubits": 513, "X": 1750, "CNOT": 35938, "Toffoli": 11354, "T_count_convention_7_per_Toffoli": 79478, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 15991, "input_qubits": 513, "X": 1750, "CNOT": 35918, "Toffoli": 11354, "T_count_convention_7_per_Toffoli": 79478, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 15986, "input_qubits": 513, "X": 1750, "CNOT": 35898, "Toffoli": 11354, "T_count_convention_7_per_Toffoli": 79478, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 15981, "input_qubits": 513, "X": 1750, "CNOT": 35878, "Toffoli": 11354, "T_count_convention_7_per_Toffoli": 79478, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735 }, { "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4177, "T_depth_conservative_bound": 29239 }, { "qubits": 16031, "input_qubits": 513, "X": 1762, "CNOT": 35994, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4175, "T_depth_conservative_bound": 29225 }, { "qubits": 16032, "input_qubits": 513, "X": 1762, "CNOT": 35998, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1762, "CNOT": 36002, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4173, "T_depth_conservative_bound": 29211 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4171, "T_depth_conservative_bound": 29197 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16020, "input_qubits": 513, "X": 1758, "CNOT": 35978, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16019, "input_qubits": 513, "X": 1758, "CNOT": 35974, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16018, "input_qubits": 513, "X": 1758, "CNOT": 35970, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16017, "input_qubits": 513, "X": 1758, "CNOT": 35966, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4169, "T_depth_conservative_bound": 29183 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16015, "input_qubits": 513, "X": 1756, "CNOT": 35972, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16013, "input_qubits": 513, "X": 1756, "CNOT": 35964, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16011, "input_qubits": 513, "X": 1756, "CNOT": 35956, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16009, "input_qubits": 513, "X": 1756, "CNOT": 35948, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4175, "T_depth_conservative_bound": 29225 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16010, "input_qubits": 513, "X": 1754, "CNOT": 35966, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16007, "input_qubits": 513, "X": 1754, "CNOT": 35954, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16004, "input_qubits": 513, "X": 1754, "CNOT": 35942, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16001, "input_qubits": 513, "X": 1754, "CNOT": 35930, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4173, "T_depth_conservative_bound": 29211 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16019, "input_qubits": 513, "X": 1756, "CNOT": 35988, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16017, "input_qubits": 513, "X": 1756, "CNOT": 35980, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16015, "input_qubits": 513, "X": 1756, "CNOT": 35972, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16013, "input_qubits": 513, "X": 1756, "CNOT": 35964, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4189, "T_depth_conservative_bound": 29323 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16028, "input_qubits": 513, "X": 1758, "CNOT": 36010, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16027, "input_qubits": 513, "X": 1758, "CNOT": 36006, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16026, "input_qubits": 513, "X": 1758, "CNOT": 36002, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16025, "input_qubits": 513, "X": 1758, "CNOT": 35998, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16046, "input_qubits": 513, "X": 1762, "CNOT": 36054, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16047, "input_qubits": 513, "X": 1762, "CNOT": 36058, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16048, "input_qubits": 513, "X": 1762, "CNOT": 36062, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16049, "input_qubits": 513, "X": 1762, "CNOT": 36066, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16005, "input_qubits": 513, "X": 1752, "CNOT": 35960, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16001, "input_qubits": 513, "X": 1752, "CNOT": 35944, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 15997, "input_qubits": 513, "X": 1752, "CNOT": 35928, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 15993, "input_qubits": 513, "X": 1752, "CNOT": 35912, "Toffoli": 11360, "T_count_convention_7_per_Toffoli": 79520, "logical_gate_depth": 4171, "T_depth_conservative_bound": 29197 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4189, "T_depth_conservative_bound": 29323 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4187, "T_depth_conservative_bound": 29309 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4185, "T_depth_conservative_bound": 29295 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16019, "input_qubits": 513, "X": 1756, "CNOT": 35988, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16017, "input_qubits": 513, "X": 1756, "CNOT": 35980, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16015, "input_qubits": 513, "X": 1756, "CNOT": 35972, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16013, "input_qubits": 513, "X": 1756, "CNOT": 35964, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4183, "T_depth_conservative_bound": 29281 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16028, "input_qubits": 513, "X": 1758, "CNOT": 36010, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16027, "input_qubits": 513, "X": 1758, "CNOT": 36006, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16026, "input_qubits": 513, "X": 1758, "CNOT": 36002, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16025, "input_qubits": 513, "X": 1758, "CNOT": 35998, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16046, "input_qubits": 513, "X": 1762, "CNOT": 36054, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16047, "input_qubits": 513, "X": 1762, "CNOT": 36058, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16048, "input_qubits": 513, "X": 1762, "CNOT": 36062, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16049, "input_qubits": 513, "X": 1762, "CNOT": 36066, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16014, "input_qubits": 513, "X": 1754, "CNOT": 35982, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16011, "input_qubits": 513, "X": 1754, "CNOT": 35970, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16008, "input_qubits": 513, "X": 1754, "CNOT": 35958, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16005, "input_qubits": 513, "X": 1754, "CNOT": 35946, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4181, "T_depth_conservative_bound": 29267 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16028, "input_qubits": 513, "X": 1758, "CNOT": 36010, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16027, "input_qubits": 513, "X": 1758, "CNOT": 36006, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16026, "input_qubits": 513, "X": 1758, "CNOT": 36002, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16025, "input_qubits": 513, "X": 1758, "CNOT": 35998, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4189, "T_depth_conservative_bound": 29323 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16046, "input_qubits": 513, "X": 1762, "CNOT": 36054, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16047, "input_qubits": 513, "X": 1762, "CNOT": 36058, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16048, "input_qubits": 513, "X": 1762, "CNOT": 36062, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16049, "input_qubits": 513, "X": 1762, "CNOT": 36066, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16023, "input_qubits": 513, "X": 1756, "CNOT": 36004, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16021, "input_qubits": 513, "X": 1756, "CNOT": 35996, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16019, "input_qubits": 513, "X": 1756, "CNOT": 35988, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16017, "input_qubits": 513, "X": 1756, "CNOT": 35980, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4187, "T_depth_conservative_bound": 29309 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16037, "input_qubits": 513, "X": 1760, "CNOT": 36032, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16046, "input_qubits": 513, "X": 1762, "CNOT": 36054, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16047, "input_qubits": 513, "X": 1762, "CNOT": 36058, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16048, "input_qubits": 513, "X": 1762, "CNOT": 36062, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16049, "input_qubits": 513, "X": 1762, "CNOT": 36066, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16032, "input_qubits": 513, "X": 1758, "CNOT": 36026, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16031, "input_qubits": 513, "X": 1758, "CNOT": 36022, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16030, "input_qubits": 513, "X": 1758, "CNOT": 36018, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1758, "CNOT": 36014, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16046, "input_qubits": 513, "X": 1762, "CNOT": 36054, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16047, "input_qubits": 513, "X": 1762, "CNOT": 36058, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16048, "input_qubits": 513, "X": 1762, "CNOT": 36062, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16049, "input_qubits": 513, "X": 1762, "CNOT": 36066, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16041, "input_qubits": 513, "X": 1760, "CNOT": 36048, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16041, "input_qubits": 513, "X": 1760, "CNOT": 36048, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16041, "input_qubits": 513, "X": 1760, "CNOT": 36048, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16041, "input_qubits": 513, "X": 1760, "CNOT": 36048, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16050, "input_qubits": 513, "X": 1762, "CNOT": 36070, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16051, "input_qubits": 513, "X": 1762, "CNOT": 36074, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16052, "input_qubits": 513, "X": 1762, "CNOT": 36078, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16053, "input_qubits": 513, "X": 1762, "CNOT": 36082, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 15991, "input_qubits": 513, "X": 1748, "CNOT": 35932, "Toffoli": 11348, "T_count_convention_7_per_Toffoli": 79436, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 15985, "input_qubits": 513, "X": 1748, "CNOT": 35908, "Toffoli": 11348, "T_count_convention_7_per_Toffoli": 79436, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 15979, "input_qubits": 513, "X": 1748, "CNOT": 35884, "Toffoli": 11348, "T_count_convention_7_per_Toffoli": 79436, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 15973, "input_qubits": 513, "X": 1748, "CNOT": 35860, "Toffoli": 11348, "T_count_convention_7_per_Toffoli": 79436, "logical_gate_depth": 4105, "T_depth_conservative_bound": 28735 }, { "qubits": 16030, "input_qubits": 513, "X": 1762, "CNOT": 35990, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4171, "T_depth_conservative_bound": 29197 }, { "qubits": 16031, "input_qubits": 513, "X": 1762, "CNOT": 35994, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4169, "T_depth_conservative_bound": 29183 }, { "qubits": 16032, "input_qubits": 513, "X": 1762, "CNOT": 35998, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1762, "CNOT": 36002, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4167, "T_depth_conservative_bound": 29169 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16025, "input_qubits": 513, "X": 1760, "CNOT": 35984, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4165, "T_depth_conservative_bound": 29155 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16020, "input_qubits": 513, "X": 1758, "CNOT": 35978, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16019, "input_qubits": 513, "X": 1758, "CNOT": 35974, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16018, "input_qubits": 513, "X": 1758, "CNOT": 35970, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16017, "input_qubits": 513, "X": 1758, "CNOT": 35966, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4163, "T_depth_conservative_bound": 29141 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16015, "input_qubits": 513, "X": 1756, "CNOT": 35972, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16013, "input_qubits": 513, "X": 1756, "CNOT": 35964, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16011, "input_qubits": 513, "X": 1756, "CNOT": 35956, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16009, "input_qubits": 513, "X": 1756, "CNOT": 35948, "Toffoli": 11372, "T_count_convention_7_per_Toffoli": 79604, "logical_gate_depth": 4169, "T_depth_conservative_bound": 29183 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4201, "T_depth_conservative_bound": 29407 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 }, { "qubits": 16042, "input_qubits": 513, "X": 1762, "CNOT": 36038, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16043, "input_qubits": 513, "X": 1762, "CNOT": 36042, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16044, "input_qubits": 513, "X": 1762, "CNOT": 36046, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16045, "input_qubits": 513, "X": 1762, "CNOT": 36050, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16010, "input_qubits": 513, "X": 1754, "CNOT": 35966, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16007, "input_qubits": 513, "X": 1754, "CNOT": 35954, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16004, "input_qubits": 513, "X": 1754, "CNOT": 35942, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16001, "input_qubits": 513, "X": 1754, "CNOT": 35930, "Toffoli": 11366, "T_count_convention_7_per_Toffoli": 79562, "logical_gate_depth": 4167, "T_depth_conservative_bound": 29169 }, { "qubits": 16034, "input_qubits": 513, "X": 1762, "CNOT": 36006, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4199, "T_depth_conservative_bound": 29393 }, { "qubits": 16035, "input_qubits": 513, "X": 1762, "CNOT": 36010, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4197, "T_depth_conservative_bound": 29379 }, { "qubits": 16036, "input_qubits": 513, "X": 1762, "CNOT": 36014, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4227, "T_depth_conservative_bound": 29589 }, { "qubits": 16037, "input_qubits": 513, "X": 1762, "CNOT": 36018, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4195, "T_depth_conservative_bound": 29365 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4221, "T_depth_conservative_bound": 29547 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16029, "input_qubits": 513, "X": 1760, "CNOT": 36000, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4193, "T_depth_conservative_bound": 29351 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4215, "T_depth_conservative_bound": 29505 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4213, "T_depth_conservative_bound": 29491 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4211, "T_depth_conservative_bound": 29477 }, { "qubits": 16024, "input_qubits": 513, "X": 1758, "CNOT": 35994, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16023, "input_qubits": 513, "X": 1758, "CNOT": 35990, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16022, "input_qubits": 513, "X": 1758, "CNOT": 35986, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16021, "input_qubits": 513, "X": 1758, "CNOT": 35982, "Toffoli": 11378, "T_count_convention_7_per_Toffoli": 79646, "logical_gate_depth": 4191, "T_depth_conservative_bound": 29337 }, { "qubits": 16038, "input_qubits": 513, "X": 1762, "CNOT": 36022, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4209, "T_depth_conservative_bound": 29463 }, { "qubits": 16039, "input_qubits": 513, "X": 1762, "CNOT": 36026, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4207, "T_depth_conservative_bound": 29449 }, { "qubits": 16040, "input_qubits": 513, "X": 1762, "CNOT": 36030, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4225, "T_depth_conservative_bound": 29575 }, { "qubits": 16041, "input_qubits": 513, "X": 1762, "CNOT": 36034, "Toffoli": 11390, "T_count_convention_7_per_Toffoli": 79730, "logical_gate_depth": 4205, "T_depth_conservative_bound": 29435 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4219, "T_depth_conservative_bound": 29533 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4217, "T_depth_conservative_bound": 29519 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4223, "T_depth_conservative_bound": 29561 }, { "qubits": 16033, "input_qubits": 513, "X": 1760, "CNOT": 36016, "Toffoli": 11384, "T_count_convention_7_per_Toffoli": 79688, "logical_gate_depth": 4203, "T_depth_conservative_bound": 29421 } ], "forward_hash_step_T_count": 47813472, "phase_oracle_step_T_count": 95626944, "phase_oracle_step_logical_depth_serial_steps": 5050688, "phase_oracle_step_T_depth_conservative_bound": 35354816, "step_history_plus_scratch_qubits": 322741, "step_subtotal_excludes": "Message and record encoding, folding, target comparator and diffusion.", "all_estimates_exclude": "SHAKE256, public-key generation, routing, error correction and magic-state factories.", "grover_iterations_ideal_RL128": 1.4488038916154245e+19, "full_search_step_T_count": 1.3854468861049026e+27, "full_search_step_logical_depth": 7.317456429735325e+25, "full_search_step_T_depth_bound": 5.122219500814728e+26, "rl_only_envelope": { "claim": "ESTIMATE", "scope": "Arithmetic circuits synthesized; encoding/comparator/diffusion budgeted but NOT integrated or simulated.", "variable_input_bits": 256, "fixed_tag_bits": 96, "encoding_forward_X_CNOT_depth_bound": 211800, "comparator_Toffoli": 254, "diffuser_Toffoli": 510, "logical_qubits_bound": 324076, "phase_oracle_T_count": 95628722, "iteration_including_diffuser_T_count": 95632292, "phase_oracle_logical_depth_bound": 5475571, "iteration_including_diffuser_logical_depth_bound": 5476086, "iteration_T_depth_bound": 35360164, "full_search_T_count": 1.3855243681370262e+27, "full_search_logical_depth_bound": 7.933774707620744e+25 }, "complete_concatenated_address_oracle_logical_qubits": null, "complete_concatenated_address_oracle_T_count": null, "complete_concatenated_address_oracle_depth": null, "ideal_joint_256_iterations": 2.6725714601624168e+38, "caveat": "Ideal random-function estimates are hypotheses for RL; concatenation alone does not prove 128-bit quantum preimage security." }, "seconds": 36.16378708400043, "completed_utc": "2026-10-08T16:00:00.599250+00:00", "passed": true }