var a02715 = [ [ "type", "a01477.html#ga2c2933c16c723af4d77eb939438617ca", null ], [ "den", "a01477.html#ga74b18a02929d0dfc37fc30b390390a8d", null ], [ "num", "a01477.html#gac2dc623161a14481407fa34d8c469e45", null ] ];
var a02715 = [ [ "type", "a01477.html#ga2c2933c16c723af4d77eb939438617ca", null ], [ "den", "a01477.html#ga74b18a02929d0dfc37fc30b390390a8d", null ], [ "num", "a01477.html#gac2dc623161a14481407fa34d8c469e45", null ] ];