fined;
window.pluto_disable_ui = true;
window.pluto_slider_server_url = undefined;
window.pluto_binder_url = "https://mybinder.org/v2/gh/fonsp/pluto-on-binder/v0.19.38";
window.pluto_statefile = undefined;
window.pluto_preamble_html = undefined;
</script>

<meta name="pluto-insertion-spot-parameters">
<script src="https://cdn.jsdelivr.net/gh/fonsp/Pluto.jl@0.19.38/frontend-dist/editor.14013f37.js" type="module" defer="" integrity="sha384-k6phcCIJynZNXwuHcKTQ2RbUBk1xE5YsBRgh07IoIwRAKTE6DWJg6WapARqSMwqY" cros