HotPot qformat: Added from old repo