<!-- Facebook Pixel Code -->
<html>
<head>
<script>
!function(f, b, e, v, n, t, s) {
if (f.fbq) return;
n = f.fbq = function() {
n.callMethod ? n.callMethod.apply(n, arguments) : n.queue.push(arguments);
};
if (!f._fbq) f._fbq = n;
n.push = n;
n.loaded = !0;
n.version = '2.0';
n.queue = [];
t = b.createElement(e);
t.async = !0;
t.src = v;
s = b.getElementsByTagName(e)[0];
s.parentNode.insertBefore(t, s);
}(window, document, 'script', 'https://connect.facebook.net/en_US/fbevents.js');
fbq('init', '1559067237640495');
fbq('track', 'PageView');
</script>
<noscript>
</noscript>
</head>
<body>
<img height="1" src="https://www.facebook.com/tr?id=1559067237640495&ev=PageView&noscript=1" style="display:none" width="1">
<!-- DO NOT MODIFY -->
<!-- End Facebook Pixel Code -->
<script>
(function(i, s, o, g, r, a, m) {
i['GoogleAnalyticsObject'] = r;
i[r] = i[r] || function() {
(i[r].q = i[r].q || []).push(arguments);
}, i[r].l = 1 * new Date();
a = s.createElement(o), m = s.getElementsByTagName(o)[0];
a.async = 1;
a.src = g;
m.parentNode.insertBefore(a, m);
})(window, document, 'script', 'https://www.google-analytics.com/analytics.js', 'ga');
ga('create', 'UA-66334551-5', 'auto');
ga('send', 'pageview');
</script>
<script>
setTimeout("document.location.href='https://team.inria.fr/athamster/equations';", 500);
</script>
</body>
</html>