Huh, on furthur reflection I guess "& a*b=a perfect square" means "and a*b is a perfect square".
Is this a homework problem? In case it is, just a simple hint for now- treat the cases where "a" is a perfect square and "a" is not a perfect square seperately.