[tversion] GCC: 4.9.3
[tversion] GMP: header 6.0.0, library 6.0.0
[tversion] MPFR tuning parameters from default
PASS tversion (exit status: 0)