[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": [5665], "i0.0^d0.0": [5560, 1979, 5500], "aux0": [5650], "i0.1^d0.1": [1887, 1888], "(i0.0^d0.0)^(i0.1^d0.1)": [5544, 1873, 5470], "aux8": [5515], "i0.4^d0.4": [5591, 5590], "(i0.0^d0.0)^(i0.4^d0.4)": [2128, 2129], "aux9": [5606, 5605], "d0.1": [5424], "aux1": [5409], "i0.5^d0.5": [1978, 5320], "aux10": [1872], "d0.2": [5394], "i0.2^d0.2": [1933], "aux2": [5379], "i0.6^d0.6": [5440], "(i0.2^d0.2)^(i0.6^d0.6)": [1918, 5425], "aux11": [1948], "((i0.0^d0.0)^(i0.1^d0.1))^((i0.3^d0.3)^(i0.7^d0.7))": [2024, 5455, 1903], "aux20": [5485], "d0.3": [5321], "i0.3^d0.3": [2113], "aux3": [5336], "i0.7^d0.7": [2189, 5456], "(i0.3^d0.3)^(i0.7^d0.7)": [5471, 2039], "aux12": [5486], "aux17": [5441], "d0.4": [1904], "aux4": [1919], "aux16": [2174], "d0.5": [1902], "aux5": [1917], "aux15": [2008], "d0.6": [2053], "aux6": [2068], "aux18": [2009], "d0.7": [2233], "aux7": [5546], "aux19": [5516], "aux13": [5545], "aux14": [5529], "d1.0": [4278], "c0.0^d1.0": [727, 725, 726], "aux21": [742], "c0.1^d1.1": [3874, 3873], "(c0.0^d1.0)^(c0.1^d1.1)": [3842, 575, 3843], "aux29": [740], "c0.4^d1.4": [3918, 755], "(c0.0^d1.0)^(c0.4^d1.4)": [3963, 800], "aux30": [3948], "d1.1": [890], "aux22": [3889], "c0.5^d1.5": [604, 603], "c1.5": [3858, 799, 3859], "aux31": [619], "d1.2": [3692], "c0.2^d1.2": [3722, 514], "aux23": [3707], "c0.6^d1.6": [3753, 3751, 3752], "(c0.2^d1.2)^(c0.6^d1.6)": [3766, 3767, 679], "aux32": [589], "((c0.0^d1.0)^(c0.1^d1.1))^((c0.3^d1.3)^(c0.7^d1.7))": [634, 3783, 3782], "c1.7": [544, 543], "aux41": [559], "d1.3": [4054], "c0.3^d1.3": [3993, 785], "aux24": [4069], "c0.7^d1.7": [4098, 756], "(c0.3^d1.3)^(c0.7^d1.7)": [3888, 696, 695], "aux33": [4083], "c1.3": [3947, 665], "aux38": [4008], "d1.4": [3844], "aux25": [814], "c1.2": [3827, 3828], "aux37": [784], "d1.5": [3602], "aux26": [3617], "c1.1": [3708], "aux36": [3693], "d1.6": [409], "aux27": [394], "c1.4": [769], "aux39": [754], "d1.7": [711], "aux28": [4158], "c1.6": [4022, 4024, 4023], "aux40": [4039], "aux34": [694], "c1.0": [3797, 574, 3663], "aux35": [484], "d2.5": [844, 3814], "c1.5^d2.5": [874, 3529, 873], "aux47": [889], "d2.0": [618], "c1.0^d2.0": [662, 3587, 663], "aux42": [3678], "d2.1": [633], "c1.1^d2.1": [3709, 3618, 797, 798], "aux43": [648], "d2.2": [469], "c1.2^d2.2": [454, 451, 452, 3662, 453], "aux44": [3812], "d2.3": [3932], "c1.3^d2.3": [527, 529, 530, 528], "aux45": [515], "d2.4": [3664], "c1.4^d2.4": [3648, 3543, 843, 3649], "aux46": [3679], "d2.6": [4037], "c1.6^d2.6": [499, 496, 497, 500, 498], "aux48": [485], "d2.7": [558], "c1.7^d2.7": [3452, 602], "aux49": [3467], "(c1.0^d2.0)^(c1.1^d2.1)": [723, 677, 3453], "aux50": [3603], "(c1.0^d2.0)^(c1.4^d2.4)": [617, 3542], "aux51": [678], "c2.5": [782, 3468], "aux52": [768], "(c1.2^d2.2)^(c1.6^d2.6)": [3571, 3572, 3574, 3573], "aux53": [3586], "((c1.0^d2.0)^(c1.1^d2.1))^((c1.3^d2.3)^(c1.7^d2.7))": [3348, 3257, 616], "c2.7": [3124, 3242, 571, 3123], "aux62": [466], "(c1.3^d2.3)^(c1.7^d2.7)": [3377, 601], "aux54": [512], "c2.3": [587, 3422], "aux59": [3437], "c2.2": [3514, 3515], "aux58": [753], "c2.1": [918], "aux57": [3589], "c2.4": [615, 3181, 645, 3182], "aux60": [3317, 526], "c2.6": [3559, 3557, 3558], "aux61": [573], "aux55": [3362], "c2.0": [738, 737], "aux56": [3588], "d3.5": [632], "c2.5^d3.5": [3407, 812, 3408], "aux68": [647], "d3.0": [722], "c2.0^d3.0": [3393, 3319, 767], "aux63": [3273], "d3.1": [3469], "c2.1^d3.1": [3484, 857], "aux64": [3454], "d3.2": [948], "c2.2^d3.2": [1098, 3485, 1037], "aux65": [3530], "d3.3": [3303], "c2.3^d3.3": [3318, 3243, 691], "aux66": [572], "d3.4": [3108], "c2.4^d3.4": [3063, 781, 780], "aux67": [3093], "d3.6": [1007], "c2.6^d3.6": [962, 1022, 3409], "aux69": [3544], "d3.7": [885], "c2.7^d3.7": [3094, 3183, 825], "aux70": [870], "(c2.0^d3.0)^(c2.1^d3.1)": [886, 887], "aux71": [3334], "(c2.0^d3.0)^(c2.4^d3.4)": [856, 3198], "aux72": [3154, 841], "c3.5": [707, 3378], "aux73": [842], "(c2.2^d3.2)^(c2.6^d3.6)": [3425, 947, 3424], "aux74": [3379], "((c2.0^d3.0)^(c2.1^d3.1))^((c2.3^d3.3)^(c2.7^d3.7))": [961, 3364], "c3.7": [3350], "aux83": [3335], "(c2.3^d3.3)^(c2.7^d3.7)": [916, 3228, 3229], "aux75": [751], "c3.3": [736], "aux80": [721], "c3.2": [796], "aux79": [3363], "c3.1": [827], "aux78": [3439], "c3.4": [902], "aux81": [917], "c3.6": [766], "aux82": [3169], "aux76": [3244], "c3.0": [872], "aux77": [3394]}

[Notes]

crc8_str = 00011111

init_str = 00000000

data = xxxxxxxx xxxxxxxx xxxxxxxx xxxxxxxx

embedding_len = 192

max_chain_len = 5

avg_chain_len = 1.578125