[math-fun] 4-orchard problem