[System]

[Variables]

fixed_crc8_var_dict_json = {"c0.0": 1, "c0.1": 1, "c0.2": 1, "c0.3": 1, "c0.4": 1, "c0.5": 0, "c0.6": 0, "c0.7": 0}

crc8_decision_var_list_json = []

fixed_init_var_dict_json = {"i0.0": 0, "i0.1": 0, "i0.2": 0, "i0.3": 0, "i0.4": 0, "i0.5": 0, "i0.6": 0, "i0.7": 0}

init_decision_var_list_json = []

num_data_octets = 4

fixed_data_var_dict_json = {}

data_decision_var_list_json = ["d0.0", "d0.1", "d0.2", "d0.3", "d0.4", "d0.5", "d0.6", "d0.7", "d1.0", "d1.1", "d1.2", "d1.3", "d1.4", "d1.5", "d1.6", "d1.7", "d2.0", "d2.1", "d2.2", "d2.3", "d2.4", "d2.5", "d2.6", "d2.7", "d3.0", "d3.1", "d3.2", "d3.3", "d3.4", "d3.5", "d3.6", "d3.7"]

[Problem]

bqm_json = {"type": "BinaryQuadraticModel", "version": {"bqm_schema": "3.0.0"}, "use_bytes": false, "index_type": "uint16", "bias_type": "float32", "num_variables": 192, "num_interactions": 430, "variable_labels": ["((c0.0^d1.0)^(c0.1^d1.1))^((c0.3^d1.3)^(c0.7^d1.7))", "((c1.0^d2.0)^(c1.1^d2.1))^((c1.3^d2.3)^(c1.7^d2.7))", "((c2.0^d3.0)^(c2.1^d3.1))^((c2.3^d3.3)^(c2.7^d3.7))", "((i0.0^d0.0)^(i0.1^d0.1))^((i0.3^d0.3)^(i0.7^d0.7))", "(c0.0^d1.0)^(c0.1^d1.1)", "(c0.0^d1.0)^(c0.4^d1.4)", "(c0.2^d1.2)^(c0.6^d1.6)", "(c0.3^d1.3)^(c0.7^d1.7)", "(c1.0^d2.0)^(c1.1^d2.1)", "(c1.0^d2.0)^(c1.4^d2.4)", "(c1.2^d2.2)^(c1.6^d2.6)", "(c1.3^d2.3)^(c1.7^d2.7)", "(c2.0^d3.0)^(c2.1^d3.1)", "(c2.0^d3.0)^(c2.4^d3.4)", "(c2.2^d3.2)^(c2.6^d3.6)", "(c2.3^d3.3)^(c2.7^d3.7)", "(i0.0^d0.0)^(i0.1^d0.1)", "(i0.0^d0.0)^(i0.4^d0.4)", "(i0.2^d0.2)^(i0.6^d0.6)", "(i0.3^d0.3)^(i0.7^d0.7)", "aux0", "aux1", "aux10", "aux11", "aux12", "aux13", "aux14", "aux15", "aux16", "aux17", "aux18", "aux19", "aux2", "aux20", "aux21", "aux22", "aux23", "aux24", "aux25", "aux26", "aux27", "aux28", "aux29", "aux3", "aux30", "aux31", "aux32", "aux33", "aux34", "aux35", "aux36", "aux37", "aux38", "aux39", "aux4", "aux40", "aux41", "aux42", "aux43", "aux44", "aux45", "aux46", "aux47", "aux48", "aux49", "aux5", "aux50", "aux51", "aux52", "aux53", "aux54", "aux55", "aux56", "aux57", "aux58", "aux59", "aux6", "aux60", "aux61", "aux62", "aux63", "aux64", "aux65", "aux66", "aux67", "aux68", "aux69", "aux7", "aux70", "aux71", "aux72", "aux73", "aux74", "aux75", "aux76", "aux77", "aux78", "aux79", "aux8", "aux80", "aux81", "aux82", "aux83", "aux9", "c0.0^d1.0", "c0.1^d1.1", "c0.2^d1.2", "c0.3^d1.3", "c0.4^d1.4", "c0.5^d1.5", "c0.6^d1.6", "c0.7^d1.7", "c1.0", "c1.0^d2.0", "c1.1", "c1.1^d2.1", "c1.2", "c1.2^d2.2", "c1.3", "c1.3^d2.3", "c1.4", "c1.4^d2.4", "c1.5", "c1.5^d2.5", "c1.6", "c1.6^d2.6", "c1.7", "c1.7^d2.7", "c2.0", "c2.0^d3.0", "c2.1", "c2.1^d3.1", "c2.2", "c2.2^d3.2", "c2.3", "c2.3^d3.3", "c2.4", "c2.4^d3.4", "c2.5", "c2.5^d3.5", "c2.6", "c2.6^d3.6", "c2.7", "c2.7^d3.7", "c3.0", "c3.1", "c3.2", "c3.3", "c3.4", "c3.5", "c3.6", "c3.7", "d0.0", "d0.1", "d0.2", "d0.3", "d0.4", "d0.5", "d0.6", "d0.7", "d1.0", "d1.1", "d1.2", "d1.3", "d1.4", "d1.5", "d1.6", "d1.7", "d2.0", "d2.1", "d2.2", "d2.3", "d2.4", "d2.5", "d2.6", "d2.7", "d3.0", "d3.1", "d3.2", "d3.3", "d3.4", "d3.5", "d3.6", "d3.7", "i0.0^d0.0", "i0.1^d0.1", "i0.2^d0.2", "i0.3^d0.3", "i0.4^d0.4", "i0.5^d0.5", "i0.6^d0.6", "i0.7^d0.7"], "variable_type": "BINARY", "offset": 190.0, "info": {}, "linear_biases": [7.0, 7.0, 3.0, 9.0, 3.0, -1.0, -1.0, 2.0, 3.0, 7.0, -1.0, -2.0, 11.0, 3.0, -1.0, -2.0, 1.0, 5.0, 3.0, 2.0, 4.0, 4.0, -4.0, -4.0, 4.0, 4.0, 0.0, 0.0, 0.0, 0.0, 0.0, -4.0, 4.0, -4.0, -8.0, -8.0, -8.0, -8.0, 8.0, 4.0, 4.0, 4.0, -4.0, 4.0, -4.0, 4.0, -4.0, 4.0, 4.0, -4.0, -4.0, -4.0, 4.0, 4.0, 4.0, 4.0, -4.0, -4.0, 4.0, 4.0, -4.0, -4.0, -4.0, -4.0, -4.0, -4.0, 4.0, 4.0, -4.0, -4.0, -4.0, 4.0, 4.0, 4.0, -4.0, 4.0, -4.0, 4.0, -4.0, -4.0, 4.0, 4.0, -4.0, 4.0, 4.0, 4.0, 4.0, -4.0, -4.0, 4.0, -4.0, 4.0, -4.0, 4.0, -4.0, -4.0, -4.0, -4.0, 4.0, 4.0, -4.0, -4.0, 4.0, -4.0, 5.0, -7.0, -3.0, -3.0, -7.0, -1.0, -1.0, 3.0, 2.0, -1.0, -2.0, 7.0, -2.0, 3.0, 6.0, 3.0, 6.0, -5.0, 11.0, -5.0, 6.0, -5.0, 2.0, -9.0, 2.0, 7.0, 2.0, 3.0, 2.0, 3.0, 2.0, 3.0, 2.0, -5.0, 3.0, -1.0, -2.0, -5.0, 2.0, -5.0, -3.0, -3.0, -3.0, 1.0, -3.0, 6.0, -3.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, -3.0, -3.0, -3.0, -5.0, -5.0, -5.0, -5.0, -1.0, 1.0, 1.0, 1.0, -3.0, 1.0, 1.0, -3.0, -3.0, -3.0, -3.0, -3.0, 1.0, 1.0, -3.0, 1.0, 1.0, 1.0, 1.0, -3.0, 7.0, 7.0, 3.0, 1.0, -3.0, -7.0, -7.0, -5.0], "quadratic_biases": [-2.0, -2.0, 2.0, -2.0, -2.0, -2.0, 2.0, -2.0, -2.0, -2.0, 2.0, -2.0, -2.0, -2.0, 2.0, -2.0, 4.0, -4.0, -4.0, 4.0, -4.0, 4.0, -4.0, -4.0, -4.0, -4.0, -4.0, -4.0, 4.0, 4.0, 4.0, -4.0, -4.0, 4.0, -4.0, -4.0, 4.0, -4.0, 4.0, 4.0, 4.0, -4.0, -4.0, -4.0, 4.0, 4.0, -4.0, 4.0, -4.0, 4.0, -4.0, 4.0, 4.0, 4.0, -4.0, -4.0, -4.0, 4.0, 4.0, -4.0, 4.0, -4.0, 4.0, -4.0, 4.0, -4.0, -4.0, 4.0, -4.0, -4.0, 4.0, 4.0, -2.0, -2.0, 4.0, -4.0, -4.0, 2.0, 4.0, 4.0, 4.0, -2.0, -2.0, -2.0, 4.0, -4.0, 4.0, -2.0, -2.0, 4.0, 4.0, -4.0, 2.0, -4.0, 4.0, 4.0, -2.0, -2.0, -4.0, -4.0, 4.0, -2.0, -2.0, 2.0, -4.0, 4.0, -4.0, -2.0, -2.0, 2.0, -4.0, -4.0, -4.0, -2.0, -2.0, 2.0, 4.0, -4.0, -2.0, -2.0, 4.0, 4.0, 4.0, -2.0, -2.0, 4.0, 4.0, 2.0, 2.0, -4.0, -4.0, -4.0, -2.0, -2.0, 4.0, 4.0, 2.0, -2.0, -2.0, -4.0, -4.0, 4.0, -2.0, -2.0, -4.0, -4.0, 2.0, -2.0, -2.0, 4.0, -4.0, -4.0, -2.0, -2.0, -4.0, -4.0, 2.0, 2.0, 4.0, -4.0, 4.0, -2.0, -2.0, -4.0, -4.0, -4.0, -2.0, -2.0, 2.0, -2.0, -2.0, 4.0, 4.0, -4.0, -2.0, -2.0, -2.0, -4.0, -4.0, 2.0, -2.0, 2.0, 4.0, 4.0, -4.0, -2.0, -2.0, -2.0, 4.0, -4.0, 2.0, -2.0, 2.0, 4.0, 4.0, 4.0, -2.0, -2.0, -2.0, 2.0, -4.0, 4.0, -2.0, -2.0, -4.0, 4.0, -4.0, -2.0, -2.0, -4.0, 4.0, 2.0, 2.0, -4.0, -4.0, 4.0, -2.0, -2.0, 4.0, -4.0, 2.0, -2.0, -2.0, 4.0, -4.0, -4.0, -2.0, -2.0, -4.0, 4.0, 2.0, -2.0, -2.0, -4.0, 4.0, -4.0, -2.0, -2.0, -4.0, 4.0, 2.0, 2.0, -4.0, 4.0, 4.0, -2.0, -2.0, 4.0, -4.0, 4.0, -2.0, -2.0, 2.0, -2.0, -2.0, -4.0, -4.0, 4.0, -2.0, -2.0, -2.0, 4.0, 4.0, 2.0, -2.0, 2.0, -4.0, 4.0, 4.0, -2.0, -2.0, -2.0, 4.0, -4.0, 2.0, -2.0, 2.0, 4.0, -4.0, 4.0, -2.0, -2.0, -2.0, 2.0, 4.0, -2.0, 4.0, 2.0, 4.0, 2.0, -2.0, -4.0, 2.0, -2.0, 4.0, 2.0, -4.0, -4.0, -2.0, -2.0, 2.0, -2.0, -2.0, 4.0, 2.0, -2.0, -4.0, 2.0, -4.0, -4.0, -4.0, -4.0, -4.0, 4.0, 4.0, 4.0, 4.0, 2.0, 4.0, 2.0, 4.0, 2.0, 4.0, 2.0, -4.0, 2.0, -4.0, 2.0, -4.0, 2.0, -4.0, 2.0, 4.0, -2.0, 2.0, -4.0, -2.0, 2.0, -4.0, -2.0, 2.0, 4.0, -2.0, 2.0, 4.0, -2.0, 2.0, 4.0, -2.0, 2.0, 4.0, -2.0, 2.0, 4.0, -2.0, 2.0, -4.0, -2.0, 2.0, -4.0, -2.0, 2.0, 4.0, -2.0, 2.0, -4.0, -2.0, 2.0, -4.0, -2.0, 2.0, -4.0, -2.0, 2.0, -4.0, -2.0, 2.0, 4.0, -2.0, 2.0, -2.0, -2.0, -4.0, 4.0, -4.0, 2.0, 2.0, -4.0, -4.0, -4.0, 2.0, -2.0, -2.0, -2.0, -4.0, -4.0, 4.0, 2.0, -2.0, -2.0, 4.0, 4.0, -4.0, 2.0, 2.0, 4.0, -4.0, 4.0, 2.0, -2.0, -2.0, 4.0, 4.0, 4.0, 2.0, -2.0, -2.0, 2.0, 4.0, 4.0, 4.0, 2.0, -2.0, -2.0, 2.0, -4.0, 4.0, 4.0, 2.0, -2.0], "quadratic_head": [0, 4, 0, 4, 1, 8, 1, 8, 2, 12, 2, 12, 3, 16, 3, 16, 18, 19, 3, 16, 19, 16, 18, 18, 17, 3, 17, 3, 4, 5, 6, 7, 0, 4, 7, 4, 6, 6, 5, 0, 5, 0, 8, 9, 10, 11, 1, 8, 11, 8, 10, 10, 9, 1, 9, 1, 12, 13, 14, 15, 2, 12, 15, 12, 14, 14, 16, 13, 2, 13, 2, 17, 4, 5, 34, 42, 44, 4, 35, 42, 45, 104, 0, 6, 36, 46, 56, 5, 7, 37, 47, 52, 5, 38, 44, 51, 104, 6, 39, 45, 50, 105, 0, 6, 40, 46, 53, 106, 5, 7, 41, 47, 55, 107, 4, 6, 49, 57, 8, 9, 57, 66, 67, 112, 6, 50, 58, 109, 8, 58, 66, 68, 113, 114, 51, 59, 108, 1, 10, 59, 69, 79, 116, 5, 52, 60, 107, 9, 11, 60, 70, 75, 118, 0, 53, 61, 110, 9, 61, 67, 74, 113, 120, 45, 51, 62, 105, 108, 109, 116, 10, 62, 68, 73, 115, 122, 5, 55, 63, 111, 1, 10, 63, 69, 77, 117, 124, 0, 56, 64, 106, 9, 11, 64, 70, 78, 119, 126, 8, 10, 72, 80, 12, 13, 80, 89, 90, 128, 10, 73, 81, 123, 12, 81, 89, 91, 129, 130, 74, 82, 121, 2, 14, 82, 92, 102, 132, 9, 75, 83, 119, 13, 15, 83, 93, 99, 134, 1, 77, 84, 125, 13, 84, 90, 97, 129, 136, 68, 74, 85, 115, 121, 123, 132, 14, 85, 91, 96, 131, 138, 9, 78, 86, 127, 2, 14, 86, 92, 100, 133, 140, 1, 79, 88, 117, 13, 15, 88, 93, 101, 135, 142, 12, 14, 95, 14, 96, 139, 97, 137, 13, 99, 135, 2, 100, 141, 91, 97, 131, 137, 139, 146, 13, 101, 143, 2, 102, 133, 20, 21, 32, 43, 54, 65, 76, 87, 34, 104, 35, 105, 36, 106, 37, 107, 38, 108, 39, 109, 40, 110, 41, 111, 57, 112, 113, 58, 114, 115, 59, 116, 117, 60, 118, 119, 61, 120, 121, 62, 122, 123, 63, 124, 125, 64, 126, 127, 80, 128, 129, 81, 130, 131, 82, 132, 133, 83, 134, 135, 84, 136, 137, 85, 138, 139, 86, 140, 141, 88, 142, 143, 16, 17, 20, 98, 103, 152, 16, 21, 22, 98, 153, 184, 3, 18, 23, 32, 33, 154, 17, 19, 24, 29, 43, 155, 17, 28, 54, 103, 156, 184, 18, 22, 27, 65, 157, 185, 3, 18, 23, 30, 76, 158, 186, 17, 19, 24, 31, 87, 159, 187], "quadratic_tail": [4, 6, 7, 7, 8, 10, 11, 11, 12, 14, 15, 15, 16, 18, 19, 19, 23, 24, 25, 25, 25, 26, 26, 27, 29, 30, 31, 33, 42, 44, 46, 47, 48, 48, 48, 49, 49, 50, 52, 53, 55, 56, 66, 67, 69, 70, 71, 71, 71, 72, 72, 73, 75, 77, 78, 79, 89, 90, 92, 93, 94, 94, 94, 95, 95, 96, 98, 99, 100, 101, 102, 103, 104, 104, 104, 104, 104, 105, 105, 105, 105, 105, 106, 106, 106, 106, 106, 107, 107, 107, 107, 107, 108, 108, 108, 108, 108, 109, 109, 109, 109, 109, 110, 110, 110, 110, 110, 110, 111, 111, 111, 111, 111, 111, 112, 112, 112, 112, 113, 113, 113, 113, 113, 113, 114, 114, 114, 114, 115, 115, 115, 115, 115, 115, 116, 116, 116, 117, 117, 117, 117, 117, 117, 118, 118, 118, 118, 119, 119, 119, 119, 119, 119, 120, 120, 120, 120, 121, 121, 121, 121, 121, 121, 122, 122, 122, 122, 122, 122, 122, 123, 123, 123, 123, 123, 123, 124, 124, 124, 124, 125, 125, 125, 125, 125, 125, 125, 126, 126, 126, 126, 127, 127, 127, 127, 127, 127, 127, 128, 128, 128, 128, 129, 129, 129, 129, 129, 129, 130, 130, 130, 130, 131, 131, 131, 131, 131, 131, 132, 132, 132, 133, 133, 133, 133, 133, 133, 134, 134, 134, 134, 135, 135, 135, 135, 135, 135, 136, 136, 136, 136, 137, 137, 137, 137, 137, 137, 138, 138, 138, 138, 138, 138, 138, 139, 139, 139, 139, 139, 139, 140, 140, 140, 140, 141, 141, 141, 141, 141, 141, 141, 142, 142, 142, 142, 143, 143, 143, 143, 143, 143, 143, 144, 144, 144, 145, 145, 145, 146, 146, 147, 147, 147, 148, 148, 148, 149, 149, 149, 149, 149, 149, 150, 150, 150, 151, 151, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 160, 161, 161, 162, 162, 163, 163, 164, 164, 165, 165, 166, 166, 167, 167, 168, 168, 168, 169, 169, 169, 170, 170, 170, 171, 171, 171, 172, 172, 172, 173, 173, 173, 174, 174, 174, 175, 175, 175, 176, 176, 176, 177, 177, 177, 178, 178, 178, 179, 179, 179, 180, 180, 180, 181, 181, 181, 182, 182, 182, 183, 183, 183, 184, 184, 184, 184, 184, 184, 185, 185, 185, 185, 185, 185, 186, 186, 186, 186, 186, 186, 187, 187, 187, 187, 187, 187, 188, 188, 188, 188, 188, 188, 189, 189, 189, 189, 189, 189, 190, 190, 190, 190, 190, 190, 190, 191, 191, 191, 191, 191, 191, 191]}

embedding_json = {"d0.0": [3946], "i0.0^d0.0": [440, 4067], "aux0": [3931], "i0.1^d0.1": [4157, 517, 516], "(i0.0^d0.0)^(i0.1^d0.1)": [4217, 4186, 441], "aux8": [486], "i0.4^d0.4": [455], "(i0.0^d0.0)^(i0.4^d0.4)": [4081], "aux9": [470], "d0.1": [4202], "aux1": [531], "i0.5^d0.5": [4367], "aux10": [532], "d0.2": [4187], "i0.2^d0.2": [562, 4172], "aux2": [621], "i0.6^d0.6": [4232, 547], "(i0.2^d0.2)^(i0.6^d0.6)": [4261, 456, 457], "aux11": [4247], "((i0.0^d0.0)^(i0.1^d0.1))^((i0.3^d0.3)^(i0.7^d0.7))": [4111, 471], "aux20": [501], "d0.3": [3991], "i0.3^d0.3": [366, 4141], "aux3": [4006], "i0.7^d0.7": [396, 4156], "(i0.3^d0.3)^(i0.7^d0.7)": [4216, 336], "aux12": [291], "aux17": [381], "d0.4": [4037], "aux4": [4022], "aux16": [3962], "d0.5": [578], "aux5": [593], "aux15": [472], "d0.6": [4277], "aux6": [4262], "aux18": [426], "d0.7": [321], "aux7": [306], "aux19": [4096], "aux13": [4126], "aux14": [382], "d1.0": [1304], "c0.0^d1.0": [5586, 5587], "aux21": [5601], "c0.1^d1.1": [1558, 1484, 5468], "(c0.0^d1.0)^(c0.1^d1.1)": [1513, 5617, 1514], "aux29": [5602], "c0.4^d1.4": [5318, 5437, 1498, 1499], "(c0.0^d1.0)^(c0.4^d1.4)": [1393, 5497, 1394], "aux30": [1454], "d1.1": [1618], "aux22": [1603], "c0.5^d1.5": [1649], "c1.5": [5453, 1572, 1573], "aux31": [5438], "d1.2": [5707], "c0.2^d1.2": [1559, 5723, 5722], "aux23": [5708], "c0.6^d1.6": [5619, 5679, 1724], "(c0.2^d1.2)^(c0.6^d1.6)": [5572, 5573], "aux32": [1739], "((c0.0^d1.0)^(c0.1^d1.1))^((c0.3^d1.3)^(c0.7^d1.7))": [5692, 5695, 5693, 5694], "c1.7": [5603, 1544], "aux41": [5678], "d1.3": [1289], "c0.3^d1.3": [5541], "aux24": [1274], "c0.7^d1.7": [5648, 1409, 5647], "(c0.3^d1.3)^(c0.7^d1.7)": [1378, 1379], "aux33": [5526], "c1.3": [5391, 5482, 1363], "aux38": [5571, 1319], "d1.4": [5272], "aux25": [1483], "c1.2": [5333, 1542], "aux37": [5347], "d1.5": [5498], "aux26": [5513], "c1.1": [1604, 5543], "aux36": [1634], "d1.6": [1754], "aux27": [5649], "c1.4": [1889], "aux39": [5680], "d1.7": [1589], "aux28": [1574], "c1.6": [5662, 1799, 5663, 5664], "aux40": [1424], "aux34": [1364], "c1.0": [5452, 1469], "aux35": [5557], "d2.5": [5288], "c1.5^d2.5": [1663, 5303, 5305, 5304], "aux47": [1587], "d2.0": [5542], "c1.0^d2.0": [5527, 1738, 5528], "aux42": [1528], "d2.1": [5588, 1619], "c1.1^d2.1": [5470, 5469, 1664], "aux43": [5558], "d2.2": [5228, 1602], "c1.2^d2.2": [5364, 1828, 5273, 5274], "aux44": [1557], "d2.3": [1423], "c1.3^d2.3": [5392, 1753, 5393], "aux45": [1438], "d2.4": [5634], "c1.4^d2.4": [5499, 5574, 1784], "aux46": [1769, 5604], "d2.6": [5544], "c1.6^d2.6": [1873, 1798, 1859, 5454], "aux48": [5529], "d2.7": [5618], "c1.7^d2.7": [1694, 1693, 5408, 1678], "aux49": [5633], "(c1.0^d2.0)^(c1.1^d2.1)": [5410, 1888, 5409], "aux50": [1723], "(c1.0^d2.0)^(c1.4^d2.4)": [5198, 1707, 1708], "aux51": [5514], "c2.5": [5589, 5590, 5455, 2008, 2009], "aux52": [1994, 1993], "(c1.2^d2.2)^(c1.6^d2.6)": [5424, 1902, 5335, 1858], "aux53": [1872], "((c1.0^d2.0)^(c1.1^d2.1))^((c1.3^d2.3)^(c1.7^d2.7))": [1918, 5379], "c2.7": [5440, 1948], "aux62": [1933], "(c1.3^d2.3)^(c1.7^d2.7)": [5484, 1783], "aux54": [5334], "c2.3": [1768, 1767], "aux59": [5319], "c2.2": [1919, 5665], "aux58": [1904], "c2.1": [5291, 5290], "aux57": [1917], "c2.4": [1979, 5515], "aux60": [5500], "c2.6": [5258, 5260, 5259, 5261, 5262], "aux61": [1648, 5378], "aux55": [5394], "c2.0": [5426, 5425], "aux56": [1903], "d3.5": [5365], "c2.5^d3.5": [2128, 2219, 5456], "aux68": [5350], "d3.0": [2218], "c2.0^d3.0": [2234, 5396, 2233], "aux63": [5411], "d3.1": [2023], "c2.1^d3.1": [5321, 2174, 2173], "aux64": [2038], "d3.2": [5724], "c2.2^d3.2": [5710, 5709, 5711, 5607, 2264], "aux65": [1874], "d3.3": [5229], "c2.3^d3.3": [5530, 2068, 2067, 5245, 5244], "aux66": [1752], "d3.4": [5620], "c2.4^d3.4": [2144, 5636, 5635], "aux67": [1934], "d3.6": [5277], "c2.6^d3.6": [5577, 2353, 2354], "aux69": [2368], "d3.7": [1978], "c2.7^d3.7": [5380, 2053], "aux70": [1963], "(c2.0^d3.0)^(c2.1^d3.1)": [5576, 2309], "aux71": [5561], "(c2.0^d3.0)^(c2.4^d3.4)": [5441, 2099, 2098], "aux72": [5621], "c3.5": [5606], "aux73": [2189], "(c2.2^d3.2)^(c2.6^d3.6)": [2339, 5531, 5532], "aux74": [2384], "((c2.0^d3.0)^(c2.1^d3.1))^((c2.3^d3.3)^(c2.7^d3.7))": [2324, 5637], "c3.7": [2279], "aux83": [5592], "(c2.3^d3.3)^(c2.7^d3.7)": [5502, 5501], "aux75": [5516], "c3.3": [2083], "aux80": [5395], "c3.2": [2129], "aux79": [2114], "c3.1": [5546], "aux78": [2204], "c3.4": [2414], "aux81": [2429], "c3.6": [5545, 2024], "aux82": [5486], "aux76": [5517], "c3.0": [2294], "aux77": [5622]}

[Notes]

crc8_str = 00011111

init_str = 00000000

data = xxxxxxxx xxxxxxxx xxxxxxxx xxxxxxxx

embedding_len = 192

max_chain_len = 5

avg_chain_len = 1.630208