1stproof-logic-audit Applying Deliberative Informatics Logic (DIL) to the 1stproof.org mathematical challenges