Modeling what makes paper-folding puzzles hard · HackerTrans