fuproof-mit5871 version 4