Stainless

333 queries in 1.008 seconds.