session pairing_heap_bin = NTP4Verif +
sessions
  "Why3STD"
theories
  "pairing_heap_bin_Heap_emptyqtvc"
  "pairing_heap_bin_MySize_size_nonnegqtvc"
  "pairing_heap_bin_HeapType"
  "pairing_heap_bin_MySize_size_emptyqtvc"
  "pairing_heap_bin_MyOcc_occ_nonnegqtvc"
  "pairing_heap_bin_PairingHeap_le_root_transqtvc"
  "pairing_heap_bin_MySize"
  "pairing_heap_bin_MyOcc"
  "pairing_heap_bin_PairingHeap_le_root_tree_transqtvc"
  "pairing_heap_bin_PairingHeap_mem_heap_treeqtvc"
  "pairing_heap_bin_PairingHeap_mem_heapqtvc"
  "pairing_heap_bin_PairingHeap_root_is_minimumqtvc"
  "pairing_heap_bin_PairingHeap_emptyqtvc"
  "pairing_heap_bin_PairingHeap_is_emptyqtvc"
  "pairing_heap_bin_PairingHeap_sizeqtvc"
  "pairing_heap_bin_PairingHeap_mergeqtvc"
  "pairing_heap_bin_PairingHeap_insertqtvc"
  "pairing_heap_bin_PairingHeap_find_minqtvc"
  "pairing_heap_bin_PairingHeap_merge_pairsqtvc"
  "pairing_heap_bin_PairingHeap_delete_minqtvc"
