Qepcad-B files for example in Section 4 of the paper