FaCT++ revision to which this code refers: 16 September 2016 d7f377351d82ea5243262538e43ddc4f0312ecdf https://bitbucket.org/dtsarkov/factplusplus/commits/d7f377351d82ea5243262538e43ddc4f0312ecdf
