lp{x=g.t_i 2;p 8*x+1==x*x?1:0}