var a00125 =
[
    [ "_GLIBCXX_RATIO", "a00125.html#aef6c9263025b0264d960be797584ccf6", null ],
    [ "ratio_divide", "a00125.html#gab89b6a439b3582240985f372bc381666", null ],
    [ "ratio_multiply", "a00125.html#gaa0eb766f5844bb5f3ccbeaae9b994257", null ]
];