* experiment , 1382 ,


* proof , 1382 , 1732 , 4136 ,


* trial , 1382 , 1383 , 3984 ,




 


~~~~~~