var a01355 = [ [ "num_distinct_sizes_32_bit", "a01355.html#ac9c86711ee8c51c8cea7768b87c1e23faa77cd20f663a41b767fff594f2b97b83", null ], [ "num_distinct_sizes_64_bit", "a01355.html#ac9c86711ee8c51c8cea7768b87c1e23fa04ac73fd35dd2a6bff3e405af53bea3c", null ], [ "num_distinct_sizes", "a01355.html#ac9c86711ee8c51c8cea7768b87c1e23fa7e8bc8a305cdd99dab7077af49856556", null ], [ "g_a_sizes", "a01355.html#ac07e15049765bb4a94b3e65beb43d02f", null ] ];