% References cited in https://agora.t9k.dev/t/178/power-savings-for-planar-halving-lines-and-sets