<!DOCTYPE html>

<html lang="">

<head>
<title>workspace_1</title>

<meta http-equiv="content-type" content="text/html; charset=utf-8"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<style>
svg, #container {
display: block;
width: 100vw;
height: 100vh;
}
body {margin: 0;}
</style>
</head>

<body>

<!-- This file was generated by dvisvgm 2.9.1 -->
<svg version='1.1' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' width='362.0885pt' height='156.122pt' vie