Wrote down some notes on #146
Solved #113
Solved #35 (specifically, finally got the solution to run in about a minute)