QInTbar Mathematica code for embedding Q into Tbar See J. Belk, J. Hyde, and F. Matucci, Embedding Q into a Finitely Presented Group.