sourcery+leanからvanir+purityに乗り換えたけど軽ぅ！GNに全部入りはやっぱりキツいのな。