* experiment , 1382 ,

* proof , 1382 , 1732 , 4136 ,

* trial , 1382 , 1383 , 3984 ,

~~~~~~