session hackers_delight = NTP4Verif +
sessions
  "Why3STD"
theories
  "hackers_delight_Utils_Spec_countZeroqtvc"
  "hackers_delight_Utils"
  "hackers_delight_Utils_Spec_numOfZeroqtvc"
  "hackers_delight_Utils_Spec_countStepqtvc"
  "hackers_delight_Utils_Spec_numof_shiftqtvc"
  "hackers_delight_Utils_Spec_countSpec_Auxqtvc"
  "hackers_delight_Utils_Spec_countSpecqtvc"
  "hackers_delight_Utils_Spec_hamming_specqtvc"
  "hackers_delight_Utils_Spec_symmetricqtvc"
  "hackers_delight_Utils_Spec_separationqtvc"
  "hackers_delight_Utils_Spec_numof_orqtvc"
  "hackers_delight_Utils_Spec_triangleInequalityIntqtvc"
  "hackers_delight_Utils_Spec_triangleInequalityqtvc"
  "hackers_delight_Hackers_delight_asciiqtvc"
  "hackers_delight_Hackers_delight_asciiPropqtvc"
  "hackers_delight_Hackers_delight_isoqtvc"
  "hackers_delight_Hackers_delight_grayIsGrayqtvc"
  "hackers_delight_Hackers_delight_nthGrayqtvc"
  "hackers_delight_Hackers_delight_lastNthGrayqtvc"
  "hackers_delight_Hackers_delight_nthBinaryqtvc"
  "hackers_delight_Hackers_delight_evenOddqtvc"
  "hackers_delight_Hackers_delight_dM1qtvc"
  "hackers_delight_Hackers_delight_dM2qtvc"
  "hackers_delight_Hackers_delight_dM3qtvc"
  "hackers_delight_Hackers_delight_dM4qtvc"
  "hackers_delight_Hackers_delight_dM5qtvc"
  "hackers_delight_Hackers_delight_dM6qtvc"
  "hackers_delight_Hackers_delight_dM7qtvc"
  "hackers_delight_Hackers_delight_dM8qtvc"
  "hackers_delight_Hackers_delight_dMtestqtvc"
  "hackers_delight_Hackers_delight_aaqtvc"
  "hackers_delight_Hackers_delight_acqtvc"
  "hackers_delight_Hackers_delight_adqtvc"
  "hackers_delight_Hackers_delight_aeqtvc"
  "hackers_delight_Hackers_delight_afqtvc"
  "hackers_delight_Hackers_delight_ajqtvc"
  "hackers_delight_Hackers_delight_anqtvc"
  "hackers_delight_Hackers_delight_aoqtvc"
  "hackers_delight_Hackers_delight_aqqtvc"
  "hackers_delight_Hackers_delight_aatqtvc"
  "hackers_delight_Hackers_delight_auqtvc"
  "hackers_delight_Hackers_delight_avqtvc"
  "hackers_delight_Hackers_delight_ie1qtvc"
  "hackers_delight_Hackers_delight_ie2qtvc"
  "hackers_delight_Hackers_delight_ie3qtvc"
  "hackers_delight_Hackers_delight_ie4qtvc"
  "hackers_delight_Hackers_delight_ie5qtvc"
  "hackers_delight_Hackers_delight_ie6qtvc"
  "hackers_delight_Hackers_delight_sr1qtvc"
  "hackers_delight_Hackers_delight_rs_leftqtvc"
  "hackers_delight_Hackers_delight_rs_rightqtvc"
  "hackers_delight_Hackers_delight_bpqtvc"
