Efficient counting of k-convex polyominoes | Synapse