load "buffer" as buf
define size := 1200;

define mi := 10;
select 1/(mi*p[1]) as result from buf