The 4-cards-to-24 problem from @MathsJam last night annoyed me, so I brute-forced it with Python: gist.github.com/6bf0ad2e83b7fd…