1parameter,value,description2seed,20261029,random seed for any simulation (numpy default_rng)3n,100000,sample size for the numerical illustration (rows of out/counterexample.csv)4
76f9a44a3a85fb2bc2b0b370a4ae4eed9b95e579