{
  "features": {
    "program_static_milepost_features": {
      "AR_btbl_bitcount": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 0.0,
        "14": 1.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 0.0,
        "20": 0.0,
        "21": 23.0,
        "22": 3.0,
        "23": 0.0,
        "24": 24.0,
        "25": 24.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 9.0,
        "35": 3.0,
        "36": 4.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 3.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 0.0,
        "47": 0.0,
        "48": 3.0,
        "49": 3.0,
        "5": 1.0,
        "50": 50.0,
        "51": 4.0,
        "52": 7.0,
        "53": 1.0,
        "54": 1.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 54.0,
        "59": 9.0,
        "6": 0.0,
        "60": 53.0,
        "61": 124.0,
        "62": 11.0,
        "63": 33.0,
        "64": 768.857,
        "65": 25372.3,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "BW_btbl_bitcount": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 0.0,
        "14": 1.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 0.0,
        "20": 0.0,
        "21": 20.0,
        "22": 3.0,
        "23": 0.0,
        "24": 21.0,
        "25": 21.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 8.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 0.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 1.0,
        "47": 4.0,
        "48": 1.0,
        "49": 0.0,
        "5": 1.0,
        "50": 44.0,
        "51": 4.0,
        "52": 21.0,
        "53": 1.0,
        "54": 0.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 53.0,
        "59": 25.0,
        "6": 0.0,
        "60": 47.0,
        "61": 117.0,
        "62": 11.0,
        "63": 11.66,
        "64": 878.377,
        "65": 10241.9,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "alloc_bit_array": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 1.0,
        "14": 0.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 1.0,
        "2": 0.0,
        "20": 0.0,
        "21": 3.0,
        "22": 2.0,
        "23": 0.0,
        "24": 5.0,
        "25": 5.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 1.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 2.0,
        "42": 0.0,
        "43": 0.0,
        "44": 1.0,
        "45": 0.0,
        "46": 0.0,
        "47": 0.0,
        "48": 1.0,
        "49": 3.0,
        "5": 1.0,
        "50": 9.0,
        "51": 0.0,
        "52": 5.0,
        "53": 0.0,
        "54": 2.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 10.0,
        "59": 7.0,
        "6": 0.0,
        "60": 8.0,
        "61": 33.0,
        "62": 11.0,
        "63": 7.85714,
        "64": 179.203,
        "65": 1408.02,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "bfclose": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 1.0,
        "14": 0.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 2.0,
        "2": 0.0,
        "20": 0.0,
        "21": 1.0,
        "22": 0.0,
        "23": 0.0,
        "24": 4.0,
        "25": 4.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 0.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 0.0,
        "42": 0.0,
        "43": 2.0,
        "44": 0.0,
        "45": 1.0,
        "46": 0.0,
        "47": 0.0,
        "48": 0.0,
        "49": 0.0,
        "5": 1.0,
        "50": 4.0,
        "51": 0.0,
        "52": 2.0,
        "53": 0.0,
        "54": 2.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 7.0,
        "59": 6.0,
        "6": 0.0,
        "60": 2.0,
        "61": 28.0,
        "62": 14.0,
        "63": 8.16667,
        "64": 151.18,
        "65": 1234.63,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "bfopen": {
        "1": 7.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 5.0,
        "14": 0.0,
        "15": 0.0,
        "16": 8.0,
        "17": 1.0,
        "18": 0.0,
        "19": 3.0,
        "2": 2.0,
        "20": 2.0,
        "21": 7.0,
        "22": 0.0,
        "23": 0.0,
        "24": 13.0,
        "25": 2.6,
        "26": 0.2,
        "27": 3.0,
        "28": 1.0,
        "29": 0.0,
        "3": 2.0,
        "30": 4.0,
        "31": 1.0,
        "32": 0.0,
        "33": 0.0,
        "34": 3.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 2.0,
        "41": 0.0,
        "42": 0.0,
        "43": 2.0,
        "44": 2.0,
        "45": 0.0,
        "46": 6.0,
        "47": 0.0,
        "48": 0.0,
        "49": 1.0,
        "5": 4.0,
        "50": 21.0,
        "51": 0.0,
        "52": 8.0,
        "53": 0.0,
        "54": 8.0,
        "55": 0.0,
        "56": 0.0,
        "57": 3.0,
        "58": 27.0,
        "59": 15.0,
        "6": 0.0,
        "60": 19.0,
        "61": 85.0,
        "62": 15.0,
        "63": 13.5,
        "64": 549.253,
        "65": 7414.91,
        "7": 1.0,
        "8": 2.0,
        "9": 2.0
      },
      "bfread": {
        "1": 5.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 3.0,
        "14": 0.0,
        "15": 0.0,
        "16": 5.0,
        "17": 1.0,
        "18": 0.0,
        "19": 1.0,
        "2": 1.0,
        "20": 1.0,
        "21": 14.0,
        "22": 3.0,
        "23": 0.0,
        "24": 17.0,
        "25": 5.66667,
        "26": 0.333333,
        "27": 2.0,
        "28": 1.0,
        "29": 0.0,
        "3": 1.0,
        "30": 2.0,
        "31": 1.0,
        "32": 0.0,
        "33": 0.0,
        "34": 3.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 1.0,
        "41": 2.0,
        "42": 0.0,
        "43": 1.0,
        "44": 0.0,
        "45": 1.0,
        "46": 1.0,
        "47": 1.0,
        "48": 1.0,
        "49": 0.0,
        "5": 2.0,
        "50": 32.0,
        "51": 0.0,
        "52": 11.0,
        "53": 0.0,
        "54": 2.0,
        "55": 0.0,
        "56": 0.0,
        "57": 2.0,
        "58": 40.0,
        "59": 16.0,
        "6": 1.0,
        "60": 25.0,
        "61": 106.0,
        "62": 15.0,
        "63": 18.75,
        "64": 722.893,
        "65": 13554.2,
        "7": 0.0,
        "8": 1.0,
        "9": 1.0
      },
      "bfwrite": {
        "1": 5.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 3.0,
        "14": 0.0,
        "15": 0.0,
        "16": 5.0,
        "17": 1.0,
        "18": 0.0,
        "19": 1.0,
        "2": 1.0,
        "20": 1.0,
        "21": 18.0,
        "22": 4.0,
        "23": 0.0,
        "24": 21.0,
        "25": 7.0,
        "26": 0.333333,
        "27": 2.0,
        "28": 1.0,
        "29": 0.0,
        "3": 1.0,
        "30": 2.0,
        "31": 1.0,
        "32": 0.0,
        "33": 0.0,
        "34": 4.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 1.0,
        "41": 3.0,
        "42": 0.0,
        "43": 1.0,
        "44": 0.0,
        "45": 1.0,
        "46": 1.0,
        "47": 1.0,
        "48": 3.0,
        "49": 0.0,
        "5": 2.0,
        "50": 39.0,
        "51": 0.0,
        "52": 12.0,
        "53": 0.0,
        "54": 2.0,
        "55": 0.0,
        "56": 0.0,
        "57": 2.0,
        "58": 49.0,
        "59": 17.0,
        "6": 1.0,
        "60": 29.0,
        "61": 127.0,
        "62": 15.0,
        "63": 21.6176,
        "64": 879.489,
        "65": 19012.5,
        "7": 0.0,
        "8": 1.0,
        "9": 1.0
      },
      "bit_count": {
        "1": 7.0,
        "10": 0.0,
        "11": 1.0,
        "12": 0.0,
        "13": 5.0,
        "14": 0.0,
        "15": 0.0,
        "16": 8.0,
        "17": 2.0,
        "18": 0.0,
        "19": 0.0,
        "2": 2.0,
        "20": 2.0,
        "21": 3.0,
        "22": 3.0,
        "23": 0.0,
        "24": 6.0,
        "25": 1.2,
        "26": 1.0,
        "27": 1.6,
        "28": 3.0,
        "29": 0.0,
        "3": 2.0,
        "30": 2.0,
        "31": 0.0,
        "32": 3.0,
        "33": 0.0,
        "34": 0.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 2.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 5.0,
        "47": 4.0,
        "48": 1.0,
        "49": 3.0,
        "5": 3.0,
        "50": 15.0,
        "51": 0.0,
        "52": 3.0,
        "53": 0.0,
        "54": 0.0,
        "55": 0.0,
        "56": 0.0,
        "57": 3.0,
        "58": 15.0,
        "59": 4.0,
        "6": 2.0,
        "60": 7.0,
        "61": 40.0,
        "62": 6.0,
        "63": 11.25,
        "64": 182.6,
        "65": 2054.25,
        "7": 0.0,
        "8": 2.0,
        "9": 1.0
      },
      "bit_shifter": {
        "1": 6.0,
        "10": 0.0,
        "11": 1.0,
        "12": 0.0,
        "13": 4.0,
        "14": 0.0,
        "15": 0.0,
        "16": 6.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 2.0,
        "20": 1.0,
        "21": 9.0,
        "22": 6.0,
        "23": 0.0,
        "24": 11.0,
        "25": 2.75,
        "26": 0.75,
        "27": 2.0,
        "28": 1.0,
        "29": 0.0,
        "3": 1.0,
        "30": 3.0,
        "31": 0.0,
        "32": 1.0,
        "33": 0.0,
        "34": 2.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 5.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 4.0,
        "47": 6.0,
        "48": 3.0,
        "49": 1.0,
        "5": 3.0,
        "50": 26.0,
        "51": 0.0,
        "52": 9.0,
        "53": 0.0,
        "54": 0.0,
        "55": 0.0,
        "56": 0.0,
        "57": 2.0,
        "58": 26.0,
        "59": 10.0,
        "6": 1.0,
        "60": 20.0,
        "61": 65.0,
        "62": 7.0,
        "63": 9.1,
        "64": 371.743,
        "65": 3382.86,
        "7": 0.0,
        "8": 2.0,
        "9": 0.0
      },
      "bitcount": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 0.0,
        "14": 1.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 0.0,
        "20": 0.0,
        "21": 21.0,
        "22": 20.0,
        "23": 0.0,
        "24": 22.0,
        "25": 22.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 1.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 15.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 0.0,
        "47": 5.0,
        "48": 1.0,
        "49": 10.0,
        "5": 1.0,
        "50": 48.0,
        "51": 0.0,
        "52": 17.0,
        "53": 0.0,
        "54": 0.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 48.0,
        "59": 18.0,
        "6": 0.0,
        "60": 32.0,
        "61": 114.0,
        "62": 6.0,
        "63": 8.0,
        "64": 742.333,
        "65": 5938.66,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "bitstring": {
        "1": 11.0,
        "10": 1.0,
        "11": 2.0,
        "12": 0.0,
        "13": 9.0,
        "14": 0.0,
        "15": 0.0,
        "16": 13.0,
        "17": 1.0,
        "18": 0.0,
        "19": 0.0,
        "2": 5.0,
        "20": 3.0,
        "21": 26.0,
        "22": 14.0,
        "23": 0.0,
        "24": 30.0,
        "25": 3.33333,
        "26": 1.22222,
        "27": 1.81818,
        "28": 4.0,
        "29": 0.0,
        "3": 3.0,
        "30": 5.0,
        "31": 0.0,
        "32": 4.0,
        "33": 0.0,
        "34": 4.0,
        "35": 3.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 3.0,
        "41": 13.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 7.0,
        "47": 10.0,
        "48": 5.0,
        "49": 3.0,
        "5": 6.0,
        "50": 71.0,
        "51": 0.0,
        "52": 20.0,
        "53": 0.0,
        "54": 1.0,
        "55": 0.0,
        "56": 0.0,
        "57": 4.0,
        "58": 71.0,
        "59": 21.0,
        "6": 3.0,
        "60": 38.0,
        "61": 186.0,
        "62": 10.0,
        "63": 16.9048,
        "64": 1272.49,
        "65": 21511.1,
        "7": 0.0,
        "8": 4.0,
        "9": 1.0
      },
      "bstr_i": {
        "1": 8.0,
        "10": 0.0,
        "11": 1.0,
        "12": 0.0,
        "13": 6.0,
        "14": 0.0,
        "15": 0.0,
        "16": 10.0,
        "17": 3.0,
        "18": 0.0,
        "19": 1.0,
        "2": 2.0,
        "20": 3.0,
        "21": 11.0,
        "22": 4.0,
        "23": 0.0,
        "24": 16.0,
        "25": 2.66667,
        "26": 0.333333,
        "27": 2.0,
        "28": 1.0,
        "29": 0.0,
        "3": 3.0,
        "30": 5.0,
        "31": 0.0,
        "32": 1.0,
        "33": 0.0,
        "34": 2.0,
        "35": 1.0,
        "36": 1.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 4.0,
        "42": 0.0,
        "43": 1.0,
        "44": 1.0,
        "45": 0.0,
        "46": 5.0,
        "47": 4.0,
        "48": 3.0,
        "49": 2.0,
        "5": 4.0,
        "50": 32.0,
        "51": 0.0,
        "52": 8.0,
        "53": 0.0,
        "54": 2.0,
        "55": 0.0,
        "56": 0.0,
        "57": 4.0,
        "58": 33.0,
        "59": 10.0,
        "6": 1.0,
        "60": 26.0,
        "61": 91.0,
        "62": 14.0,
        "63": 23.1,
        "64": 568.205,
        "65": 13125.5,
        "7": 1.0,
        "8": 2.0,
        "9": 2.0
      },
      "btbl_bitcnt": {
        "1": 21.0,
        "10": 8.0,
        "11": 0.0,
        "12": 0.0,
        "13": 19.0,
        "14": 0.0,
        "15": 0.0,
        "16": 29.0,
        "17": 9.0,
        "18": 0.0,
        "19": 1.0,
        "2": 9.0,
        "20": 9.0,
        "21": 132.0,
        "22": 27.0,
        "23": 0.0,
        "24": 143.0,
        "25": 7.52632,
        "26": 0.473684,
        "27": 2.0,
        "28": 9.0,
        "29": 0.0,
        "3": 9.0,
        "30": 10.0,
        "31": 0.0,
        "32": 9.0,
        "33": 0.0,
        "34": 27.0,
        "35": 0.0,
        "36": 9.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 18.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 1.0,
        "46": 9.0,
        "47": 18.0,
        "48": 0.0,
        "49": 9.0,
        "5": 10.0,
        "50": 303.0,
        "51": 9.0,
        "52": 82.0,
        "53": 1.0,
        "54": 9.0,
        "55": 0.0,
        "56": 0.0,
        "57": 10.0,
        "58": 313.0,
        "59": 85.0,
        "6": 9.0,
        "60": 309.0,
        "61": 654.0,
        "62": 13.0,
        "63": 23.9353,
        "64": 6392.71,
        "65": 153011.0,
        "7": 0.0,
        "8": 1.0,
        "9": 9.0
      },
      "flipbit": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 1.0,
        "14": 0.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 0.0,
        "20": 0.0,
        "21": 9.0,
        "22": 4.0,
        "23": 0.0,
        "24": 10.0,
        "25": 10.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 2.0,
        "35": 1.0,
        "36": 1.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 3.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 0.0,
        "47": 3.0,
        "48": 1.0,
        "49": 0.0,
        "5": 1.0,
        "50": 20.0,
        "51": 0.0,
        "52": 9.0,
        "53": 0.0,
        "54": 1.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 20.0,
        "59": 10.0,
        "6": 0.0,
        "60": 14.0,
        "61": 50.0,
        "62": 8.0,
        "63": 8.0,
        "64": 291.725,
        "65": 2333.8,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "getbit": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 1.0,
        "14": 0.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 0.0,
        "20": 0.0,
        "21": 8.0,
        "22": 4.0,
        "23": 0.0,
        "24": 9.0,
        "25": 9.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 2.0,
        "35": 1.0,
        "36": 1.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 3.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 0.0,
        "47": 3.0,
        "48": 1.0,
        "49": 0.0,
        "5": 1.0,
        "50": 19.0,
        "51": 0.0,
        "52": 9.0,
        "53": 0.0,
        "54": 1.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 19.0,
        "59": 10.0,
        "6": 0.0,
        "60": 14.0,
        "61": 47.0,
        "62": 8.0,
        "63": 7.6,
        "64": 275.055,
        "65": 2090.42,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "main": {
        "1": 18.0,
        "10": 1.0,
        "11": 4.0,
        "12": 0.0,
        "13": 16.0,
        "14": 0.0,
        "15": 0.0,
        "16": 22.0,
        "17": 2.0,
        "18": 0.0,
        "19": 13.0,
        "2": 8.0,
        "20": 6.0,
        "21": 16.0,
        "22": 5.0,
        "23": 0.0,
        "24": 37.0,
        "25": 2.3125,
        "26": 2.125,
        "27": 1.85294,
        "28": 2.0,
        "29": 5.0,
        "3": 6.0,
        "30": 9.0,
        "31": 0.0,
        "32": 7.0,
        "33": 0.0,
        "34": 6.0,
        "35": 1.0,
        "36": 1.0,
        "37": 0.0,
        "38": 0.0,
        "39": 1.0,
        "4": 0.0,
        "40": 0.0,
        "41": 5.0,
        "42": 0.0,
        "43": 7.0,
        "44": 2.0,
        "45": 6.0,
        "46": 18.0,
        "47": 16.0,
        "48": 12.0,
        "49": 17.0,
        "5": 11.0,
        "50": 63.0,
        "51": 13.0,
        "52": 24.0,
        "53": 3.0,
        "54": 11.0,
        "55": 1.0,
        "56": 0.0,
        "57": 7.0,
        "58": 89.0,
        "59": 39.0,
        "6": 5.0,
        "60": 74.0,
        "61": 347.0,
        "62": 17.0,
        "63": 19.3974,
        "64": 2530.54,
        "65": 49085.9,
        "7": 0.0,
        "8": 7.0,
        "9": 2.0
      },
      "ntbl_bitcnt": {
        "1": 6.0,
        "10": 0.0,
        "11": 1.0,
        "12": 0.0,
        "13": 4.0,
        "14": 0.0,
        "15": 0.0,
        "16": 6.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 2.0,
        "20": 1.0,
        "21": 7.0,
        "22": 4.0,
        "23": 0.0,
        "24": 9.0,
        "25": 2.25,
        "26": 1.25,
        "27": 1.4,
        "28": 3.0,
        "29": 0.0,
        "3": 1.0,
        "30": 1.0,
        "31": 0.0,
        "32": 3.0,
        "33": 0.0,
        "34": 2.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 2.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 3.0,
        "47": 4.0,
        "48": 0.0,
        "49": 1.0,
        "5": 3.0,
        "50": 23.0,
        "51": 1.0,
        "52": 7.0,
        "53": 1.0,
        "54": 0.0,
        "55": 0.0,
        "56": 0.0,
        "57": 2.0,
        "58": 24.0,
        "59": 9.0,
        "6": 1.0,
        "60": 17.0,
        "61": 58.0,
        "62": 8.0,
        "63": 10.6667,
        "64": 334.977,
        "65": 3573.09,
        "7": 0.0,
        "8": 2.0,
        "9": 0.0
      },
      "ntbl_bitcount": {
        "1": 3.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 0.0,
        "14": 1.0,
        "15": 0.0,
        "16": 2.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 0.0,
        "20": 0.0,
        "21": 53.0,
        "22": 22.0,
        "23": 0.0,
        "24": 54.0,
        "25": 54.0,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 0.0,
        "30": 1.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 17.0,
        "35": 0.0,
        "36": 0.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 15.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 0.0,
        "47": 8.0,
        "48": 0.0,
        "49": 7.0,
        "5": 1.0,
        "50": 114.0,
        "51": 8.0,
        "52": 48.0,
        "53": 1.0,
        "54": 0.0,
        "55": 0.0,
        "56": 0.0,
        "57": 1.0,
        "58": 122.0,
        "59": 50.0,
        "6": 0.0,
        "60": 120.0,
        "61": 265.0,
        "62": 8.0,
        "63": 9.76,
        "64": 2265.72,
        "65": 22113.5,
        "7": 0.0,
        "8": 0.0,
        "9": 0.0
      },
      "setbit": {
        "1": 6.0,
        "10": 0.0,
        "11": 0.0,
        "12": 0.0,
        "13": 4.0,
        "14": 0.0,
        "15": 0.0,
        "16": 6.0,
        "17": 0.0,
        "18": 0.0,
        "19": 0.0,
        "2": 2.0,
        "20": 1.0,
        "21": 16.0,
        "22": 7.0,
        "23": 0.0,
        "24": 18.0,
        "25": 4.5,
        "26": 0.0,
        "27": 0.0,
        "28": 0.0,
        "29": 0.0,
        "3": 1.0,
        "30": 4.0,
        "31": 0.0,
        "32": 0.0,
        "33": 0.0,
        "34": 4.0,
        "35": 1.0,
        "36": 2.0,
        "37": 0.0,
        "38": 0.0,
        "39": 0.0,
        "4": 0.0,
        "40": 0.0,
        "41": 5.0,
        "42": 0.0,
        "43": 0.0,
        "44": 0.0,
        "45": 0.0,
        "46": 1.0,
        "47": 6.0,
        "48": 2.0,
        "49": 0.0,
        "5": 3.0,
        "50": 36.0,
        "51": 0.0,
        "52": 12.0,
        "53": 0.0,
        "54": 1.0,
        "55": 0.0,
        "56": 0.0,
        "57": 2.0,
        "58": 36.0,
        "59": 13.0,
        "6": 1.0,
        "60": 26.0,
        "61": 87.0,
        "62": 8.0,
        "63": 11.0769,
        "64": 539.941,
        "65": 5980.89,
        "7": 0.0,
        "8": 2.0,
        "9": 1.0
      }
    }
  }
}

{}