1  [deps]
 2  BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
 3  GrothAlgebra = "c7a79d44-cfd6-4e24-8a20-28d2d2e8370b"
 4  GrothCurves = "5abac9ed-d1ba-4f09-bf87-1d0505e406bb"
 5  GrothProofs = "a08a9250-f3dc-4127-bcf9-3e12d47ce125"
 6  JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
 7  Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 8  StatsPlots = "f3b207a7-027a-5e70-b257-86293d7955fd"
 9  
10  [compat]
11  BenchmarkTools = "1"
12  julia = "1.11"