Changed XB and QB to used big vertices encoded as a number to facilitate use of the involution
Added test problems