Comment by sspencer

It completely makes my day that the solver is on HN.