{
  "nim": {
    "named": {
      "apps-small": {
        "alpha_us": 54,
        "norm_us": 23,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "bigsubst-large": {
        "alpha_us": 16151,
        "norm_us": 8118,
        "traversals": 4042,
        "max_depth": 1020,
        "mem_delta_bytes": 57376
      },
      "allbinders-large-a": {
        "alpha_us": 44668,
        "norm_us": 3819,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "shadow-small": {
        "alpha_us": 90,
        "norm_us": 15,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-medium-b": {
        "alpha_us": 3185,
        "norm_us": 224,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "shadow-large": {
        "alpha_us": 10151,
        "norm_us": 4082,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "shift-large": {
        "alpha_us": 7705,
        "norm_us": 4495,
        "traversals": 242,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "shift-small": {
        "alpha_us": 149,
        "norm_us": 60,
        "traversals": 26,
        "max_depth": 12,
        "mem_delta_bytes": 20512
      },
      "bigsubst-small": {
        "alpha_us": 469,
        "norm_us": 215,
        "traversals": 282,
        "max_depth": 80,
        "mem_delta_bytes": 20512
      },
      "allbinders-small-a": {
        "alpha_us": 246,
        "norm_us": 31,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "apps-large": {
        "alpha_us": 14863,
        "norm_us": 6174,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 57376
      },
      "chain-large": {
        "alpha_us": 10487,
        "norm_us": 3928,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "leaves-small-b": {
        "alpha_us": 6122,
        "norm_us": 2766,
        "traversals": 5554,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-a": {
        "alpha_us": 243702,
        "norm_us": 124508,
        "traversals": 94379,
        "max_depth": 500,
        "mem_delta_bytes": 28704
      },
      "leaves-large-a": {
        "alpha_us": 12786392,
        "norm_us": 6283347,
        "traversals": 1502504,
        "max_depth": 2000,
        "mem_delta_bytes": 127008
      },
      "bigsubst-medium": {
        "alpha_us": 1631,
        "norm_us": 820,
        "traversals": 1042,
        "max_depth": 270,
        "mem_delta_bytes": 20512
      },
      "fv-small": {
        "alpha_us": 52,
        "norm_us": 23,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-large-b": {
        "alpha_us": 13076700,
        "norm_us": 7037531,
        "traversals": 1502504,
        "max_depth": 2000,
        "mem_delta_bytes": 86048
      },
      "chain-medium": {
        "alpha_us": 1077,
        "norm_us": 298,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "allbinders-small-b": {
        "alpha_us": 177,
        "norm_us": 17,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-small-a": {
        "alpha_us": 5721,
        "norm_us": 2990,
        "traversals": 5554,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "fv-medium": {
        "alpha_us": 742,
        "norm_us": 422,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "apps-medium": {
        "alpha_us": 713,
        "norm_us": 346,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "allbinders-medium-a": {
        "alpha_us": 2232,
        "norm_us": 252,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "shadow-medium": {
        "alpha_us": 842,
        "norm_us": 238,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "fv-large": {
        "alpha_us": 14043,
        "norm_us": 7361,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 57376
      },
      "shift-medium": {
        "alpha_us": 998,
        "norm_us": 446,
        "traversals": 102,
        "max_depth": 50,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-b": {
        "alpha_us": 223423,
        "norm_us": 106415,
        "traversals": 94379,
        "max_depth": 500,
        "mem_delta_bytes": 28704
      },
      "chain-small": {
        "alpha_us": 125,
        "norm_us": 17,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-large-b": {
        "alpha_us": 73724,
        "norm_us": 4901,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      }
    },
    "debruijn": {
      "apps-small": {
        "alpha_us": 50,
        "norm_us": 24,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "bigsubst-large": {
        "alpha_us": 16816,
        "norm_us": 8628,
        "traversals": 4042,
        "max_depth": 1020,
        "mem_delta_bytes": 86048
      },
      "allbinders-large-a": {
        "alpha_us": 36805,
        "norm_us": 18262,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "shadow-small": {
        "alpha_us": 132,
        "norm_us": 57,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-medium-b": {
        "alpha_us": 2086,
        "norm_us": 932,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "shadow-large": {
        "alpha_us": 39568,
        "norm_us": 19433,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "shift-large": {
        "alpha_us": 3179,
        "norm_us": 1717,
        "traversals": 242,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "shift-small": {
        "alpha_us": 115,
        "norm_us": 52,
        "traversals": 26,
        "max_depth": 12,
        "mem_delta_bytes": 20512
      },
      "bigsubst-small": {
        "alpha_us": 264,
        "norm_us": 164,
        "traversals": 282,
        "max_depth": 80,
        "mem_delta_bytes": 20512
      },
      "allbinders-small-a": {
        "alpha_us": 121,
        "norm_us": 58,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "apps-large": {
        "alpha_us": 13560,
        "norm_us": 7313,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 86048
      },
      "chain-large": {
        "alpha_us": 49559,
        "norm_us": 29578,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "leaves-small-b": {
        "alpha_us": 803,
        "norm_us": 473,
        "traversals": 5554,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-a": {
        "alpha_us": 17306,
        "norm_us": 5516,
        "traversals": 94379,
        "max_depth": 500,
        "mem_delta_bytes": 57376
      },
      "leaves-large-a": {
        "alpha_us": 155351,
        "norm_us": 84396,
        "traversals": 1502504,
        "max_depth": 2000,
        "mem_delta_bytes": 188448
      },
      "bigsubst-medium": {
        "alpha_us": 1882,
        "norm_us": 906,
        "traversals": 1042,
        "max_depth": 270,
        "mem_delta_bytes": 28704
      },
      "fv-small": {
        "alpha_us": 54,
        "norm_us": 26,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-large-b": {
        "alpha_us": 181925,
        "norm_us": 103156,
        "traversals": 1502504,
        "max_depth": 2000,
        "mem_delta_bytes": 188448
      },
      "chain-medium": {
        "alpha_us": 3107,
        "norm_us": 1276,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "allbinders-small-b": {
        "alpha_us": 238,
        "norm_us": 117,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-small-a": {
        "alpha_us": 519,
        "norm_us": 299,
        "traversals": 5554,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "fv-medium": {
        "alpha_us": 967,
        "norm_us": 440,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "apps-medium": {
        "alpha_us": 800,
        "norm_us": 388,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "allbinders-medium-a": {
        "alpha_us": 2361,
        "norm_us": 1098,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "shadow-medium": {
        "alpha_us": 2177,
        "norm_us": 1086,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "fv-large": {
        "alpha_us": 20497,
        "norm_us": 9974,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 86048
      },
      "shift-medium": {
        "alpha_us": 863,
        "norm_us": 380,
        "traversals": 102,
        "max_depth": 50,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-b": {
        "alpha_us": 12446,
        "norm_us": 6590,
        "traversals": 94379,
        "max_depth": 500,
        "mem_delta_bytes": 57376
      },
      "chain-small": {
        "alpha_us": 350,
        "norm_us": 86,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-large-b": {
        "alpha_us": 38270,
        "norm_us": 19381,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      }
    },
    "ln": {
      "apps-small": {
        "alpha_us": 64,
        "norm_us": 37,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "bigsubst-large": {
        "alpha_us": 26387,
        "norm_us": 13213,
        "traversals": 4042,
        "max_depth": 1020,
        "mem_delta_bytes": 86048
      },
      "allbinders-large-a": {
        "alpha_us": 41773,
        "norm_us": 20839,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "shadow-small": {
        "alpha_us": 197,
        "norm_us": 86,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-medium-b": {
        "alpha_us": 3047,
        "norm_us": 2242,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "shadow-large": {
        "alpha_us": 51818,
        "norm_us": 27772,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "shift-large": {
        "alpha_us": 6627,
        "norm_us": 3174,
        "traversals": 242,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "shift-small": {
        "alpha_us": 115,
        "norm_us": 71,
        "traversals": 26,
        "max_depth": 12,
        "mem_delta_bytes": 20512
      },
      "bigsubst-small": {
        "alpha_us": 393,
        "norm_us": 174,
        "traversals": 282,
        "max_depth": 80,
        "mem_delta_bytes": 20512
      },
      "allbinders-small-a": {
        "alpha_us": 330,
        "norm_us": 121,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "apps-large": {
        "alpha_us": 23713,
        "norm_us": 10474,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 86048
      },
      "chain-large": {
        "alpha_us": 39877,
        "norm_us": 19771,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      },
      "leaves-small-b": {
        "alpha_us": 536,
        "norm_us": 270,
        "traversals": 5554,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-a": {
        "alpha_us": 10362,
        "norm_us": 5878,
        "traversals": 94379,
        "max_depth": 500,
        "mem_delta_bytes": 57376
      },
      "leaves-large-a": {
        "alpha_us": 177485,
        "norm_us": 107127,
        "traversals": 1502504,
        "max_depth": 2000,
        "mem_delta_bytes": 188448
      },
      "bigsubst-medium": {
        "alpha_us": 1932,
        "norm_us": 1039,
        "traversals": 1042,
        "max_depth": 270,
        "mem_delta_bytes": 28704
      },
      "fv-small": {
        "alpha_us": 58,
        "norm_us": 27,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-large-b": {
        "alpha_us": 237058,
        "norm_us": 134837,
        "traversals": 1502504,
        "max_depth": 2000,
        "mem_delta_bytes": 188448
      },
      "chain-medium": {
        "alpha_us": 3255,
        "norm_us": 1795,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "allbinders-small-b": {
        "alpha_us": 189,
        "norm_us": 94,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-small-a": {
        "alpha_us": 545,
        "norm_us": 289,
        "traversals": 5554,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "fv-medium": {
        "alpha_us": 1143,
        "norm_us": 622,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "apps-medium": {
        "alpha_us": 912,
        "norm_us": 421,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "allbinders-medium-a": {
        "alpha_us": 3413,
        "norm_us": 1354,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "shadow-medium": {
        "alpha_us": 3027,
        "norm_us": 1354,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 20512
      },
      "fv-large": {
        "alpha_us": 22761,
        "norm_us": 10327,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 86048
      },
      "shift-medium": {
        "alpha_us": 815,
        "norm_us": 393,
        "traversals": 102,
        "max_depth": 50,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-b": {
        "alpha_us": 12151,
        "norm_us": 6571,
        "traversals": 94379,
        "max_depth": 500,
        "mem_delta_bytes": 57376
      },
      "chain-small": {
        "alpha_us": 265,
        "norm_us": 80,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-large-b": {
        "alpha_us": 40879,
        "norm_us": 22422,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 40992
      }
    },
    "subst": {
      "apps-small": {
        "alpha_us": 130,
        "norm_us": 7,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "bigsubst-large": {
        "alpha_us": 21639,
        "norm_us": 2008,
        "traversals": 6065,
        "max_depth": 1020,
        "mem_delta_bytes": 286752
      },
      "allbinders-large-a": {
        "alpha_us": 36450,
        "norm_us": 214,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 127008
      },
      "shadow-small": {
        "alpha_us": 115,
        "norm_us": 5,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-medium-b": {
        "alpha_us": 4194,
        "norm_us": 37,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 28704
      },
      "shadow-large": {
        "alpha_us": 12594,
        "norm_us": 180,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 127008
      },
      "shift-large": {
        "alpha_us": 1684,
        "norm_us": 506,
        "traversals": 603,
        "max_depth": 240,
        "mem_delta_bytes": 28704
      },
      "shift-small": {
        "alpha_us": 74,
        "norm_us": 41,
        "traversals": 63,
        "max_depth": 24,
        "mem_delta_bytes": 20512
      },
      "bigsubst-small": {
        "alpha_us": 344,
        "norm_us": 93,
        "traversals": 425,
        "max_depth": 80,
        "mem_delta_bytes": 20512
      },
      "allbinders-small-a": {
        "alpha_us": 314,
        "norm_us": 7,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "apps-large": {
        "alpha_us": 18811,
        "norm_us": 170,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 188448
      },
      "chain-large": {
        "alpha_us": 14905,
        "norm_us": 204,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 127008
      },
      "leaves-small-b": {
        "alpha_us": 75,
        "norm_us": 32,
        "traversals": 189,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-a": {
        "alpha_us": 293,
        "norm_us": 158,
        "traversals": 759,
        "max_depth": 500,
        "mem_delta_bytes": 28704
      },
      "leaves-large-a": {
        "alpha_us": 2307,
        "norm_us": 758,
        "traversals": 3009,
        "max_depth": 2000,
        "mem_delta_bytes": 127008
      },
      "bigsubst-medium": {
        "alpha_us": 2550,
        "norm_us": 440,
        "traversals": 1565,
        "max_depth": 270,
        "mem_delta_bytes": 57376
      },
      "fv-small": {
        "alpha_us": 93,
        "norm_us": 21,
        "traversals": 242,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-large-b": {
        "alpha_us": 3229,
        "norm_us": 1089,
        "traversals": 3009,
        "max_depth": 2000,
        "mem_delta_bytes": 127008
      },
      "chain-medium": {
        "alpha_us": 4177,
        "norm_us": 65,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 28704
      },
      "allbinders-small-b": {
        "alpha_us": 909,
        "norm_us": 14,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "leaves-small-a": {
        "alpha_us": 137,
        "norm_us": 86,
        "traversals": 189,
        "max_depth": 120,
        "mem_delta_bytes": 20512
      },
      "fv-medium": {
        "alpha_us": 2312,
        "norm_us": 75,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 57376
      },
      "apps-medium": {
        "alpha_us": 2159,
        "norm_us": 80,
        "traversals": 1002,
        "max_depth": 250,
        "mem_delta_bytes": 57376
      },
      "allbinders-medium-a": {
        "alpha_us": 6288,
        "norm_us": 62,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 28704
      },
      "shadow-medium": {
        "alpha_us": 1478,
        "norm_us": 34,
        "traversals": 502,
        "max_depth": 250,
        "mem_delta_bytes": 28704
      },
      "fv-large": {
        "alpha_us": 35673,
        "norm_us": 444,
        "traversals": 4002,
        "max_depth": 1000,
        "mem_delta_bytes": 188448
      },
      "shift-medium": {
        "alpha_us": 897,
        "norm_us": 282,
        "traversals": 253,
        "max_depth": 100,
        "mem_delta_bytes": 20512
      },
      "leaves-medium-b": {
        "alpha_us": 760,
        "norm_us": 303,
        "traversals": 759,
        "max_depth": 500,
        "mem_delta_bytes": 28704
      },
      "chain-small": {
        "alpha_us": 905,
        "norm_us": 67,
        "traversals": 122,
        "max_depth": 60,
        "mem_delta_bytes": 20512
      },
      "allbinders-large-b": {
        "alpha_us": 92922,
        "norm_us": 173,
        "traversals": 2002,
        "max_depth": 1000,
        "mem_delta_bytes": 127008
      }
    }
  }
}