Body of Proof sorted by filesize