generalized downcast dirt

13 November 2023
42

parse took 0.22537302970886
mysql: 30 queries took 0.04033088684082