var a01406 =
[
    [ "num_distinct_sizes_32_bit", "a01406.html#abd627932a43c95b57ae577a8a962abd4aa77cd20f663a41b767fff594f2b97b83", null ],
    [ "num_distinct_sizes_64_bit", "a01406.html#abd627932a43c95b57ae577a8a962abd4a04ac73fd35dd2a6bff3e405af53bea3c", null ],
    [ "num_distinct_sizes", "a01406.html#abd627932a43c95b57ae577a8a962abd4a7e8bc8a305cdd99dab7077af49856556", null ],
    [ "g_a_sizes", "a01406.html#ac07e15049765bb4a94b3e65beb43d02f", null ]
];