<html>
<head>
<meta http-equiv="refresh" content="0; URL=../../doc/html/variant.html">
</head>
<body>
Automatic redirection failed, please go to
<a href="../../doc/html/variant.html">../../doc/html/variant.html</a>
</body>
</html>