Good synthesis of 2D tiling as a partial iteration over a 4D space