root/olares3: links for theorem-sdk