Hot compilation

5:54 135
14:56 114
9:22 141
3:55 264
7:30 247