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