parameter,value,description
seed,20261029,random seed for any simulation (numpy default_rng)
n,100000,sample size for the numerical illustration (rows of out/counterexample.csv)