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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback