var a01521 = [ [ "decimal128", "a08605.html", "a08605" ], [ "decimal32", "a08597.html", "a08597" ], [ "decimal64", "a08601.html", "a08601" ] ];
var a01521 = [ [ "decimal128", "a08605.html", "a08605" ], [ "decimal32", "a08597.html", "a08597" ], [ "decimal64", "a08601.html", "a08601" ] ];