j-fu · November 21, 2022 21:50
diff --git a/jsxgraph-pluto b/jsxgraph-pluto
 ### A Pluto.jl notebook ###
 # v0.19.16

 using Markdown
 using InteractiveUtils

 # ╔═╡ bc8cde90-5593-4f54-ada2-a03cd6e35282
 using UUIDs

 # ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781
 begin 
    using PlutoUI,HypertextLiteral
 end

 # ╔═╡ 1866d071-7dc6-47ee-b6f7-b8f75ab94df7
 html"""
 <link rel="stylesheet" type="text/css" href="https://jsxgraph.org/distrib/jsxgraph.css" />
 <script type="text/javascript" src="https://jsxgraph.org/distrib/jsxgraphcore.js"></script>
 """

 # ╔═╡ 7b4b635d-c600-4d6a-9cef-64bd97eb6a3e
 function jsxplot(x,y)
 	uuid=string(uuid1())

 htl"""
 <div id=$(uuid) class="jxgbox" style="width:650px; height:300px;"></div>
 <script type=text/javascript>
 var plotData = [$(x),$(y)];
 var brd1 = JXG.JSXGraph.initBoard($(uuid), {axis:true, keepaspectratio:true});
 brd1.defaultAxes.y.setAttribute({withLabel: true, name:'u'});
 var plot = brd1.create('curve', plotData, {type:'plot'});
 </script>
 """
 end

 # ╔═╡ c050b0b0-6794-4c22-80bb-13c101f042ce
 x=collect(-10:0.01:10)

 # ╔═╡ 9a00481e-07eb-47f4-8b98-5b27dc9baafb
 jsxplot(x,sin.(3x))

 # ╔═╡ f9b4d4dc-7def-409f-b40a-f4eba1163741
 TableOfContents()

 # ╔═╡ 7a93e9a8-8a2d-4b11-84ef-691706c0eb0f
 begin
    hrule()=html"""<hr>"""
    highlight(mdstring,color)= htl"""<blockquote style="padding: 10px; background-color: $(color);">$(mdstring)</blockquote>"""
 	
    macro important_str(s)	:(highlight(Markdown.parse($s),"#ffcccc")) end
    macro definition_str(s)	:(highlight(Markdown.parse($s),"#ccccff")) end
    macro statement_str(s)	:(highlight(Markdown.parse($s),"#ccffcc")) end
 		
 		
    html"""
        <style>
         h1{background-color:#dddddd;  padding: 10px;}
         h2{background-color:#e7e7e7;  padding: 10px;}
         h3{background-color:#eeeeee;  padding: 10px;}
         h4{background-color:#f7f7f7;  padding: 10px;}
        
 	     pluto-log-dot-sizer  { max-width: 655px;}
         pluto-log-dot.Stdout { background: #002000;
 	                            color: #10f080;
                                border: 6px solid #b7b7b7;
                                min-width: 18em;
                                max-height: 300px;
                                width: 675px;
                                    overflow: auto;
 	                           }
 	
    </style>
 """
 end

 # ╔═╡ 5beb3a0d-e57a-4aea-b7a0-59b8ce9ff5ce
 hrule()

 # ╔═╡ 00000000-0000-0000-0000-000000000001
 PLUTO_PROJECT_TOML_CONTENTS = """
 [deps]
 HypertextLiteral = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
 PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
 UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"

 [compat]
 HypertextLiteral = "~0.9.4"
 PlutoUI = "~0.7.44"
 """

 # ╔═╡ 00000000-0000-0000-0000-000000000002
 PLUTO_MANIFEST_TOML_CONTENTS = """
 # This file is machine-generated - editing it directly is not advised

 julia_version = "1.8.3"
 manifest_format = "2.0"
 project_hash = "59f480c408e24983253314245bb44ee04f25f301"

 [[deps.AbstractPlutoDingetjes]]
 deps = ["Pkg"]
 git-tree-sha1 = "8eaf9f1b4921132a4cff3f36a1d9ba923b14a481"
 uuid = "6e696c72-6542-2067-7265-42206c756150"
 version = "1.1.4"

 [[deps.ArgTools]]
 uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f"
 version = "1.1.1"

 [[deps.Artifacts]]
 uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"

 [[deps.Base64]]
 uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"

 [[deps.ColorTypes]]
 deps = ["FixedPointNumbers", "Random"]
 git-tree-sha1 = "eb7f0f8307f71fac7c606984ea5fb2817275d6e4"
 uuid = "3da002f7-5984-5a60-b8a6-cbb66c0b333f"
 version = "0.11.4"

 [[deps.CompilerSupportLibraries_jll]]
 deps = ["Artifacts", "Libdl"]
 uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae"
 version = "0.5.2+0"

 [[deps.Dates]]
 deps = ["Printf"]
 uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"

 [[deps.Downloads]]
 deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"]
 uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
 version = "1.6.0"

 [[deps.FileWatching]]
 uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee"

 [[deps.FixedPointNumbers]]
 deps = ["Statistics"]
 git-tree-sha1 = "335bfdceacc84c5cdf16aadc768aa5ddfc5383cc"
 uuid = "53c48c17-4a7d-5ca2-90c5-79b7896eea93"
 version = "0.8.4"

 [[deps.Hyperscript]]
 deps = ["Test"]
 git-tree-sha1 = "8d511d5b81240fc8e6802386302675bdf47737b9"
 uuid = "47d2ed2b-36de-50cf-bf87-49c2cf4b8b91"
 version = "0.0.4"

 [[deps.HypertextLiteral]]
 deps = ["Tricks"]
 git-tree-sha1 = "c47c5fa4c5308f27ccaac35504858d8914e102f9"
 uuid = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
 version = "0.9.4"

 [[deps.IOCapture]]
 deps = ["Logging", "Random"]
 git-tree-sha1 = "f7be53659ab06ddc986428d3a9dcc95f6fa6705a"
 uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89"
 version = "0.2.2"

 [[deps.InteractiveUtils]]
 deps = ["Markdown"]
 uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"

 [[deps.JSON]]
 deps = ["Dates", "Mmap", "Parsers", "Unicode"]
 git-tree-sha1 = "3c837543ddb02250ef42f4738347454f95079d4e"
 uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
 version = "0.21.3"

 [[deps.LibCURL]]
 deps = ["LibCURL_jll", "MozillaCACerts_jll"]
 uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21"
 version = "0.6.3"

 [[deps.LibCURL_jll]]
 deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"]
 uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0"
 version = "7.84.0+0"

 [[deps.LibGit2]]
 deps = ["Base64", "NetworkOptions", "Printf", "SHA"]
 uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"

 [[deps.LibSSH2_jll]]
 deps = ["Artifacts", "Libdl", "MbedTLS_jll"]
 uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8"
 version = "1.10.2+0"

 [[deps.Libdl]]
 uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"

 [[deps.LinearAlgebra]]
 deps = ["Libdl", "libblastrampoline_jll"]
 uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"

 [[deps.Logging]]
 uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"

 [[deps.Markdown]]
 deps = ["Base64"]
 uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"

 [[deps.MbedTLS_jll]]
 deps = ["Artifacts", "Libdl"]
 uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1"
 version = "2.28.0+0"

 [[deps.Mmap]]
 uuid = "a63ad114-7e13-5084-954f-fe012c677804"

 [[deps.MozillaCACerts_jll]]
 uuid = "14a3606d-f60d-562e-9121-12d972cd8159"
 version = "2022.2.1"

 [[deps.NetworkOptions]]
 uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"
 version = "1.2.0"

 [[deps.OpenBLAS_jll]]
 deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"]
 uuid = "4536629a-c528-5b80-bd46-f80d51c5b363"
 version = "0.3.20+0"

 [[deps.Parsers]]
 deps = ["Dates"]
 git-tree-sha1 = "6c01a9b494f6d2a9fc180a08b182fcb06f0958a0"
 uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
 version = "2.4.2"

 [[deps.Pkg]]
 deps = ["Artifacts", "Dates", "Downloads", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"]
 uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 version = "1.8.0"

 [[deps.PlutoUI]]
 deps = ["AbstractPlutoDingetjes", "Base64", "ColorTypes", "Dates", "Hyperscript", "HypertextLiteral", "IOCapture", "InteractiveUtils", "JSON", "Logging", "Markdown", "Random", "Reexport", "UUIDs"]
 git-tree-sha1 = "6e33d318cf8843dade925e35162992145b4eb12f"
 uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
 version = "0.7.44"

 [[deps.Printf]]
 deps = ["Unicode"]
 uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"

 [[deps.REPL]]
 deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"]
 uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"

 [[deps.Random]]
 deps = ["SHA", "Serialization"]
 uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"

 [[deps.Reexport]]
 git-tree-sha1 = "45e428421666073eab6f2da5c9d310d99bb12f9b"
 uuid = "189a3867-3050-52da-a836-e630ba90ab69"
 version = "1.2.2"

 [[deps.SHA]]
 uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"
 version = "0.7.0"

 [[deps.Serialization]]
 uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"

 [[deps.Sockets]]
 uuid = "6462fe0b-24de-5631-8697-dd941f90decc"

 [[deps.SparseArrays]]
 deps = ["LinearAlgebra", "Random"]
 uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"

 [[deps.Statistics]]
 deps = ["LinearAlgebra", "SparseArrays"]
 uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"

 [[deps.TOML]]
 deps = ["Dates"]
 uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
 version = "1.0.0"

 [[deps.Tar]]
 deps = ["ArgTools", "SHA"]
 uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e"
 version = "1.10.1"

 [[deps.Test]]
 deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
 uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

 [[deps.Tricks]]
 git-tree-sha1 = "6bac775f2d42a611cdfcd1fb217ee719630c4175"
 uuid = "410a4b4d-49e4-4fbc-ab6d-cb71b17b3775"
 version = "0.1.6"

 [[deps.UUIDs]]
 deps = ["Random", "SHA"]
 uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"

 [[deps.Unicode]]
 uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"

 [[deps.Zlib_jll]]
 deps = ["Libdl"]
 uuid = "83775a58-1f1d-513f-b197-d71354ab007a"
 version = "1.2.12+3"

 [[deps.libblastrampoline_jll]]
 deps = ["Artifacts", "Libdl", "OpenBLAS_jll"]
 uuid = "8e850b90-86db-534c-a0d3-1478176c7d93"
 version = "5.1.1+0"

 [[deps.nghttp2_jll]]
 deps = ["Artifacts", "Libdl"]
 uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d"
 version = "1.48.0+0"

 [[deps.p7zip_jll]]
 deps = ["Artifacts", "Libdl"]
 uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0"
 version = "17.4.0+0"
 """

 # ╔═╡ Cell order:
 # ╠═bc8cde90-5593-4f54-ada2-a03cd6e35282
 # ╠═1866d071-7dc6-47ee-b6f7-b8f75ab94df7
 # ╠═7b4b635d-c600-4d6a-9cef-64bd97eb6a3e
 # ╠═c050b0b0-6794-4c22-80bb-13c101f042ce
 # ╠═9a00481e-07eb-47f4-8b98-5b27dc9baafb
 # ╟─5beb3a0d-e57a-4aea-b7a0-59b8ce9ff5ce
 # ╟─60941eaa-1aea-11eb-1277-97b991548781
 # ╟─f9b4d4dc-7def-409f-b40a-f4eba1163741
 # ╟─7a93e9a8-8a2d-4b11-84ef-691706c0eb0f
 # ╟─00000000-0000-0000-0000-000000000001
 # ╟─00000000-0000-0000-0000-000000000002
	### A Pluto.jl notebook ###
	# v0.19.16

	using Markdown
	using InteractiveUtils

	# ╔═╡ bc8cde90-5593-4f54-ada2-a03cd6e35282
	using UUIDs

	# ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781
	begin
	using PlutoUI,HypertextLiteral
	end

	# ╔═╡ 1866d071-7dc6-47ee-b6f7-b8f75ab94df7
	html"""
	<link rel="stylesheet" type="text/css" href="https://jsxgraph.org/distrib/jsxgraph.css" />
	<script type="text/javascript" src="https://jsxgraph.org/distrib/jsxgraphcore.js"></script>
	"""

	# ╔═╡ 7b4b635d-c600-4d6a-9cef-64bd97eb6a3e
	function jsxplot(x,y)
	uuid=string(uuid1())

	htl"""
	<div id=$(uuid) class="jxgbox" style="width:650px; height:300px;"></div>
	<script type=text/javascript>
	var plotData = [$(x),$(y)];
	var brd1 = JXG.JSXGraph.initBoard($(uuid), {axis:true, keepaspectratio:true});
	brd1.defaultAxes.y.setAttribute({withLabel: true, name:'u'});
	var plot = brd1.create('curve', plotData, {type:'plot'});
	</script>
	"""
	end

	# ╔═╡ c050b0b0-6794-4c22-80bb-13c101f042ce
	x=collect(-10:0.01:10)

	# ╔═╡ 9a00481e-07eb-47f4-8b98-5b27dc9baafb
	jsxplot(x,sin.(3x))

	# ╔═╡ f9b4d4dc-7def-409f-b40a-f4eba1163741
	TableOfContents()

	# ╔═╡ 7a93e9a8-8a2d-4b11-84ef-691706c0eb0f
	begin
	hrule()=html"""<hr>"""
	highlight(mdstring,color)= htl"""<blockquote style="padding: 10px; background-color: $(color);">$(mdstring)</blockquote>"""

	macro important_str(s) :(highlight(Markdown.parse($s),"#ffcccc")) end
	macro definition_str(s) :(highlight(Markdown.parse($s),"#ccccff")) end
	macro statement_str(s) :(highlight(Markdown.parse($s),"#ccffcc")) end


	html"""
	<style>
	h1{background-color:#dddddd; padding: 10px;}
	h2{background-color:#e7e7e7; padding: 10px;}
	h3{background-color:#eeeeee; padding: 10px;}
	h4{background-color:#f7f7f7; padding: 10px;}

	pluto-log-dot-sizer { max-width: 655px;}
	pluto-log-dot.Stdout { background: #002000;
	color: #10f080;
	border: 6px solid #b7b7b7;
	min-width: 18em;
	max-height: 300px;
	width: 675px;
	overflow: auto;
	}

	</style>
	"""
	end

	# ╔═╡ 5beb3a0d-e57a-4aea-b7a0-59b8ce9ff5ce
	hrule()

	# ╔═╡ 00000000-0000-0000-0000-000000000001
	PLUTO_PROJECT_TOML_CONTENTS = """
	[deps]
	HypertextLiteral = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
	PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
	UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"

	[compat]
	HypertextLiteral = "~0.9.4"
	PlutoUI = "~0.7.44"
	"""

	# ╔═╡ 00000000-0000-0000-0000-000000000002
	PLUTO_MANIFEST_TOML_CONTENTS = """
	# This file is machine-generated - editing it directly is not advised

	julia_version = "1.8.3"
	manifest_format = "2.0"
	project_hash = "59f480c408e24983253314245bb44ee04f25f301"

	[[deps.AbstractPlutoDingetjes]]
	deps = ["Pkg"]
	git-tree-sha1 = "8eaf9f1b4921132a4cff3f36a1d9ba923b14a481"
	uuid = "6e696c72-6542-2067-7265-42206c756150"
	version = "1.1.4"

	[[deps.ArgTools]]
	uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f"
	version = "1.1.1"

	[[deps.Artifacts]]
	uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"

	[[deps.Base64]]
	uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"

	[[deps.ColorTypes]]
	deps = ["FixedPointNumbers", "Random"]
	git-tree-sha1 = "eb7f0f8307f71fac7c606984ea5fb2817275d6e4"
	uuid = "3da002f7-5984-5a60-b8a6-cbb66c0b333f"
	version = "0.11.4"

	[[deps.CompilerSupportLibraries_jll]]
	deps = ["Artifacts", "Libdl"]
	uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae"
	version = "0.5.2+0"

	[[deps.Dates]]
	deps = ["Printf"]
	uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"

	[[deps.Downloads]]
	deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"]
	uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
	version = "1.6.0"

	[[deps.FileWatching]]
	uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee"

	[[deps.FixedPointNumbers]]
	deps = ["Statistics"]
	git-tree-sha1 = "335bfdceacc84c5cdf16aadc768aa5ddfc5383cc"
	uuid = "53c48c17-4a7d-5ca2-90c5-79b7896eea93"
	version = "0.8.4"

	[[deps.Hyperscript]]
	deps = ["Test"]
	git-tree-sha1 = "8d511d5b81240fc8e6802386302675bdf47737b9"
	uuid = "47d2ed2b-36de-50cf-bf87-49c2cf4b8b91"
	version = "0.0.4"

	[[deps.HypertextLiteral]]
	deps = ["Tricks"]
	git-tree-sha1 = "c47c5fa4c5308f27ccaac35504858d8914e102f9"
	uuid = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
	version = "0.9.4"

	[[deps.IOCapture]]
	deps = ["Logging", "Random"]
	git-tree-sha1 = "f7be53659ab06ddc986428d3a9dcc95f6fa6705a"
	uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89"
	version = "0.2.2"

	[[deps.InteractiveUtils]]
	deps = ["Markdown"]
	uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"

	[[deps.JSON]]
	deps = ["Dates", "Mmap", "Parsers", "Unicode"]
	git-tree-sha1 = "3c837543ddb02250ef42f4738347454f95079d4e"
	uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
	version = "0.21.3"

	[[deps.LibCURL]]
	deps = ["LibCURL_jll", "MozillaCACerts_jll"]
	uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21"
	version = "0.6.3"

	[[deps.LibCURL_jll]]
	deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"]
	uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0"
	version = "7.84.0+0"

	[[deps.LibGit2]]
	deps = ["Base64", "NetworkOptions", "Printf", "SHA"]
	uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"

	[[deps.LibSSH2_jll]]
	deps = ["Artifacts", "Libdl", "MbedTLS_jll"]
	uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8"
	version = "1.10.2+0"

	[[deps.Libdl]]
	uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"

	[[deps.LinearAlgebra]]
	deps = ["Libdl", "libblastrampoline_jll"]
	uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"

	[[deps.Logging]]
	uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"

	[[deps.Markdown]]
	deps = ["Base64"]
	uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"

	[[deps.MbedTLS_jll]]
	deps = ["Artifacts", "Libdl"]
	uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1"
	version = "2.28.0+0"

	[[deps.Mmap]]
	uuid = "a63ad114-7e13-5084-954f-fe012c677804"

	[[deps.MozillaCACerts_jll]]
	uuid = "14a3606d-f60d-562e-9121-12d972cd8159"
	version = "2022.2.1"

	[[deps.NetworkOptions]]
	uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"
	version = "1.2.0"

	[[deps.OpenBLAS_jll]]
	deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"]
	uuid = "4536629a-c528-5b80-bd46-f80d51c5b363"
	version = "0.3.20+0"

	[[deps.Parsers]]
	deps = ["Dates"]
	git-tree-sha1 = "6c01a9b494f6d2a9fc180a08b182fcb06f0958a0"
	uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
	version = "2.4.2"

	[[deps.Pkg]]
	deps = ["Artifacts", "Dates", "Downloads", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"]
	uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
	version = "1.8.0"

	[[deps.PlutoUI]]
	deps = ["AbstractPlutoDingetjes", "Base64", "ColorTypes", "Dates", "Hyperscript", "HypertextLiteral", "IOCapture", "InteractiveUtils", "JSON", "Logging", "Markdown", "Random", "Reexport", "UUIDs"]
	git-tree-sha1 = "6e33d318cf8843dade925e35162992145b4eb12f"
	uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
	version = "0.7.44"

	[[deps.Printf]]
	deps = ["Unicode"]
	uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"

	[[deps.REPL]]
	deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"]
	uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"

	[[deps.Random]]
	deps = ["SHA", "Serialization"]
	uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"

	[[deps.Reexport]]
	git-tree-sha1 = "45e428421666073eab6f2da5c9d310d99bb12f9b"
	uuid = "189a3867-3050-52da-a836-e630ba90ab69"
	version = "1.2.2"

	[[deps.SHA]]
	uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"
	version = "0.7.0"

	[[deps.Serialization]]
	uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"

	[[deps.Sockets]]
	uuid = "6462fe0b-24de-5631-8697-dd941f90decc"

	[[deps.SparseArrays]]
	deps = ["LinearAlgebra", "Random"]
	uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"

	[[deps.Statistics]]
	deps = ["LinearAlgebra", "SparseArrays"]
	uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"

	[[deps.TOML]]
	deps = ["Dates"]
	uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
	version = "1.0.0"

	[[deps.Tar]]
	deps = ["ArgTools", "SHA"]
	uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e"
	version = "1.10.1"

	[[deps.Test]]
	deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
	uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

	[[deps.Tricks]]
	git-tree-sha1 = "6bac775f2d42a611cdfcd1fb217ee719630c4175"
	uuid = "410a4b4d-49e4-4fbc-ab6d-cb71b17b3775"
	version = "0.1.6"

	[[deps.UUIDs]]
	deps = ["Random", "SHA"]
	uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"

	[[deps.Unicode]]
	uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"

	[[deps.Zlib_jll]]
	deps = ["Libdl"]
	uuid = "83775a58-1f1d-513f-b197-d71354ab007a"
	version = "1.2.12+3"

	[[deps.libblastrampoline_jll]]
	deps = ["Artifacts", "Libdl", "OpenBLAS_jll"]
	uuid = "8e850b90-86db-534c-a0d3-1478176c7d93"
	version = "5.1.1+0"

	[[deps.nghttp2_jll]]
	deps = ["Artifacts", "Libdl"]
	uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d"
	version = "1.48.0+0"

	[[deps.p7zip_jll]]
	deps = ["Artifacts", "Libdl"]
	uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0"
	version = "17.4.0+0"
	"""

	# ╔═╡ Cell order:
	# ╠═bc8cde90-5593-4f54-ada2-a03cd6e35282
	# ╠═1866d071-7dc6-47ee-b6f7-b8f75ab94df7
	# ╠═7b4b635d-c600-4d6a-9cef-64bd97eb6a3e
	# ╠═c050b0b0-6794-4c22-80bb-13c101f042ce
	# ╠═9a00481e-07eb-47f4-8b98-5b27dc9baafb
	# ╟─5beb3a0d-e57a-4aea-b7a0-59b8ce9ff5ce
	# ╟─60941eaa-1aea-11eb-1277-97b991548781
	# ╟─f9b4d4dc-7def-409f-b40a-f4eba1163741
	# ╟─7a93e9a8-8a2d-4b11-84ef-691706c0eb0f
	# ╟─00000000-0000-0000-0000-000000000001
	# ╟─00000000-0000-0000-0000-000000000002