var a00848 =
[
    [ "__shrink", "a00848.html#adf42868b36ffd42054d85449f63b12aa", null ],
    [ "__shrink_and_double", "a00848.html#ade684b015a28793b63a9e8f14c096066", null ],
    [ "list_partition", "a00848.html#ad3be0fcbf87a1f43b3ecd406841e7b0d", null ]
];