http://homepages.cwi.nl/~tromp/c4/Fhourstones.tar.gz 020cc5476aba44e4abf343e63fd47fca 11396