sol2/single
2016-06-27 12:47:56 -04:00
..
sol More reductions... 2016-06-27 12:47:56 -04:00