{ull @t,@a,@b;wt(1+--t/a+t/b-t/lcm(a,b));}