All credit goes to Eric C. Schug for this incredible work. Check notes_on_using_libermate.txt if you use it and it doesn't work properly (it's normal!) I give many hints there on how to correct ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback