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