[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": [805], "i0.0^d0.0": [4954, 790, 791], "aux0": [4939], "i0.1^d0.1": [5088], "(i0.0^d0.0)^(i0.1^d0.1)": [657, 5043, 656], "aux8": [806], "i0.4^d0.4": [866], "(i0.0^d0.0)^(i0.4^d0.4)": [5104, 5103], "aux9": [5119], "d0.1": [762], "aux1": [777], "i0.5^d0.5": [732], "aux10": [5073], "d0.2": [5237], "i0.2^d0.2": [5072, 582], "aux2": [5222], "i0.6^d0.6": [5149, 5148], "(i0.2^d0.2)^(i0.6^d0.6)": [702, 5192, 5193], "aux11": [5133], "((i0.0^d0.0)^(i0.1^d0.1))^((i0.3^d0.3)^(i0.7^d0.7))": [5162, 626], "aux20": [567], "d0.3": [446], "i0.3^d0.3": [5118, 5117], "aux3": [431], "i0.7^d0.7": [701, 4952, 4953], "(i0.3^d0.3)^(i0.7^d0.7)": [521, 581, 5012], "aux12": [536], "aux17": [597], "d0.4": [851], "aux4": [5089], "aux16": [5074], "d0.5": [5208], "aux5": [747], "aux15": [5223], "d0.6": [5134], "aux6": [897], "aux18": [687], "d0.7": [491], "aux7": [506], "aux19": [716], "aux13": [5027], "aux14": [5253], "d1.0": [460], "c0.0^d1.0": [4938, 610, 4937], "aux21": [4892], "c0.1^d1.1": [4831, 505], "(c0.0^d1.0)^(c0.1^d1.1)": [4921, 4922], "aux29": [475], "c0.4^d1.4": [715, 4803], "(c0.0^d1.0)^(c0.4^d1.4)": [596, 4908, 4906, 4907], "aux30": [700], "d1.1": [355], "aux22": [4801], "c0.5^d1.5": [400, 4846, 205, 4845], "c1.5": [535, 4789, 4788, 4787], "aux31": [4772], "d1.2": [56], "c0.2^d1.2": [4965, 206], "aux23": [4935], "c0.6^d1.6": [5040, 251], "(c0.2^d1.2)^(c0.6^d1.6)": [4890, 250, 4830], "aux32": [191], "((c0.0^d1.0)^(c0.1^d1.1))^((c0.3^d1.3)^(c0.7^d1.7))": [116, 236, 5056, 5055], "c1.7": [4905, 175, 4815], "aux41": [115], "d1.3": [5057], "c0.3^d1.3": [566, 4967], "aux24": [5042], "c0.7^d1.7": [4981, 4982], "(c0.3^d1.3)^(c0.7^d1.7)": [4996, 416], "aux33": [4997], "c1.3": [4876, 445], "aux38": [430], "d1.4": [819], "aux25": [4818], "c1.2": [4638, 760, 759], "aux37": [775], "d1.5": [4785], "aux26": [190], "c1.1": [4606, 4396, 235, 234, 233], "aux36": [4875], "d1.6": [266], "aux27": [5070], "c1.4": [4710, 219, 221, 220], "aux39": [5010], "d1.7": [671], "aux28": [686], "c1.6": [655], "aux40": [640], "aux34": [371], "c1.0": [4936, 339, 340], "aux35": [280], "d2.5": [565], "c1.5^d2.5": [4442, 4727, 534, 533], "aux47": [550], "d2.0": [4756], "c1.0^d2.0": [354, 4621], "aux42": [4741], "d2.1": [307], "c1.1^d2.1": [442, 4607, 4336, 443], "aux43": [322], "d2.2": [818], "c1.2^d2.2": [623, 4609, 4608], "aux44": [833], "d2.3": [310], "c1.3^d2.3": [323, 325, 324], "aux45": [4891], "d2.4": [159], "c1.4^d2.4": [4665, 4651, 4666], "aux46": [4650], "d2.6": [4878], "c1.6^d2.6": [670, 4802, 653, 654], "aux48": [4863], "d2.7": [4800], "c1.7^d2.7": [293, 4771, 294], "aux49": [264], "(c1.0^d2.0)^(c1.1^d2.1)": [504, 4486, 503], "aux50": [4636], "(c1.0^d2.0)^(c1.4^d2.4)": [428, 429, 279, 4681], "aux51": [399], "c2.5": [414, 549, 4561, 4562], "aux52": [4592], "(c1.2^d2.2)^(c1.6^d2.6)": [4518, 4517, 548], "aux53": [4472], "((c1.0^d2.0)^(c1.1^d2.1))^((c1.3^d2.3)^(c1.7^d2.7))": [4532, 803, 4533], "c2.7": [4534, 909], "aux62": [4594], "(c1.3^d2.3)^(c1.7^d2.7)": [4471, 338, 4531], "aux54": [4501], "c2.3": [4711], "aux59": [4726], "c2.2": [773, 774, 4667, 4668], "aux58": [4652], "c2.1": [4427], "aux57": [563], "c2.4": [4698, 743, 744], "aux60": [4548], "c2.6": [4576, 517, 518, 4577], "aux61": [278], "aux55": [473], "c2.0": [4412, 4413], "aux56": [488], "d3.5": [384], "c2.5^d3.5": [369, 367, 368], "aux68": [4546], "d3.0": [607], "c2.0^d3.0": [652, 4397, 4398], "aux63": [622], "d3.1": [413], "c2.1^d3.1": [4321, 4441, 427], "aux64": [398], "d3.2": [4368], "c2.2^d3.2": [4338, 682, 4353], "aux65": [758], "d3.3": [385], "c2.3^d3.3": [459, 4713, 580, 4816, 4712], "aux66": [370], "d3.4": [4593], "c2.4^d3.4": [728, 4578, 729], "aux67": [638, 4503], "d3.6": [532], "c2.6^d3.6": [4278, 4277], "aux69": [4262], "d3.7": [4579], "c2.7^d3.7": [4564, 579, 4563], "aux70": [924], "(c2.0^d3.0)^(c2.1^d3.1)": [4323, 4322], "aux71": [472], "(c2.0^d3.0)^(c2.4^d3.4)": [593, 595, 594], "aux72": [4383], "c3.5": [4458, 4456, 4457], "aux73": [383], "(c2.2^d3.2)^(c2.6^d3.6)": [4291, 562, 4292], "aux74": [667], "((c2.0^d3.0)^(c2.1^d3.1))^((c2.3^d3.3)^(c2.7^d3.7))": [4293, 757], "c3.7": [787], "aux83": [802], "(c2.3^d3.3)^(c2.7^d3.7)": [714, 712, 713], "aux75": [699, 698], "c3.3": [4832], "aux80": [4847], "c3.2": [683], "aux79": [668], "c3.1": [382], "aux78": [4307, 4306], "c3.4": [742], "aux81": [4263], "c3.6": [4697], "aux82": [4682], "aux76": [697], "c3.0": [487], "aux77": [502]}

[Notes]

crc8_str = 00011111

init_str = 00000000

data = xxxxxxxx xxxxxxxx xxxxxxxx xxxxxxxx

embedding_len = 192

max_chain_len = 5

avg_chain_len = 1.651042