
<!doctype html>
<html lang="en">
<head>
    <meta charset="utf-8">
    <title>Redirecting...</title>
    <link rel="canonical" href="../intermediate_representation/">
    <script>var anchor=window.location.hash.substr(1);location.href="../intermediate_representation/"+(anchor?"#"+anchor:"")</script>
    <meta http-equiv="refresh" content="0; url=../intermediate_representation/">
</head>
<body>
You're being redirected to a <a href="../intermediate_representation/">new destination</a>.
</body>
</html>