THSF-SIDH-BL-S THSF-SL-BL THSF-SL-BL-WT THSF-SLE-GT4e-BL THSF-TL-BL THSH-ADP-B THSH-ATR-BTL THSH-BD7-BL THSH-BE-BL THSHC