The packing of two species of polygons on the square lattice