dualsplit.proof 2.79 KB