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