I did it using integers keeping unique lines (a,b,c) a*x+b*y=c so that gcd(a,b)=1, a>=0. Mistake for WA8 was that for a=0 I did not ensure b>0, i.e. (0,1,1) and (0,-1,1) were considered as different lines.