session huffman_with_two_queues = NTP4Verif +
theories
  "huffman_with_two_queues_Top_add_lastqtvc"
  "huffman_with_two_queues_Top_sorted_tailqtvc"
  "huffman_with_two_queues_Top_sorted_tail_tailqtvc"
  "huffman_with_two_queues_Top_huffman_codingqtvc"
