f paths) {
    if (await fileExists(path)) {
      const script = document.createElement('script');
      script.type = 'module';
      script.src = path;
      script.defer = true;
      document.head.appendChild(script);
      break;
    }
  }
})();
</script>
	<h1 id="tessellation" class="demo-title"><a class="header" href="#tessellation">Tessellation</a></h1>
    <div class="operation-selection">
        <div class="operation-content">
            <label for="mode">Mode: </label>
            <select id="