SOLI (EG), Proof Db & Pyramido