Initial commit of ILP-based clustering proofs