Table 1 (experiment on Thm 1)