var a00248 = [ [ "type", "a00248.html#a8e6d1f771cc054ae8738a04fdb9f929a", null ], [ "type", "a00248.html#a37d9371e79bf6ce01e4bdcc723df1017", null ] ];
var a00248 = [ [ "type", "a00248.html#a8e6d1f771cc054ae8738a04fdb9f929a", null ], [ "type", "a00248.html#a37d9371e79bf6ce01e4bdcc723df1017", null ] ];