var a00671 = [ [ "max", "a00671.html#ab4db0e6fdb399f9f5d6142c0770c5354", null ], [ "min", "a00671.html#a92d62875cb5bd914f1da9ba79100f0a8", null ], [ "zero", "a00671.html#a68f57384945559ef4aba1cb37c908727", null ] ];
var a00671 = [ [ "max", "a00671.html#ab4db0e6fdb399f9f5d6142c0770c5354", null ], [ "min", "a00671.html#a92d62875cb5bd914f1da9ba79100f0a8", null ], [ "zero", "a00671.html#a68f57384945559ef4aba1cb37c908727", null ] ];