Newspace 112.6.a

Not stored in the atlas (it stores weight 2 up to level 1000, and weights 4–12 with $Nk^2 \le 4000$). Your browser is computing it now with Sagebrush's engine, compiled to WebAssembly: the same proven computation as the stored spaces.