#!/bin/bash
proofcheck --report socrates-metachain-proof.n3 | tee socrates-check.txt
